反證法
出自維基百科，自由嘅百科全書
 |
呢篇文要清理或重寫，以符合更高嘅質量標準。 如果你做得到，可以改善下呢篇文。 |
 |
呢篇文（或呢段）要按維基百科格式，以達到維基百科嘅品質標準。 麻煩幫手改改呢篇文，特別係啲分段同埋相關嘅連結。（幫吓我） |
反證法，又叫做證偽法，係一個證明啲嘢係唔啱嘅方法。
呢個方法嘅橋妙係咁嘅：首先整一個「命題」，然後就當正呢個「命題」（1）係啱嘅；跟住就用呢個「命題」（1）做一啲，只要（1）啱，就一定會發生嘅「事」（2）或者成立嘅「推論」（3）；最後就指出（2）或者（3）係唔會發生或者唔成立嘅，咁就可以證明（1）都係錯o架喇。
真值表 [編輯]
反證法可以以真值表證明：因為 
→ 
係真（T）嘅，但 q 係假（F）嘅，所以 p 的值只可能係假。
|
|
→ |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
