反證法

出自維基百科,自由嘅百科全書
跳去: 定向搵嘢

反證法,又叫做證偽法,係一個證明啲嘢係唔啱嘅方法。

呢個方法嘅橋妙係咁嘅:首先整一個「命題」,然後就當正呢個「命題」(1)係啱嘅;跟住就用呢個「命題」(1)做一啲,只要(1)啱,就一定會發生嘅「事」(2)或者成立嘅「推論」(3);最後就指出(2)或者(3)係唔會發生或者唔成立嘅,咁就可以證明(1)都係錯o架喇。

真值表[編輯]

反證法可以以真值表證明:因為 pq 係真(T)嘅,但 q 係假(F)嘅,所以 p 的值只可能係假。

推論
p q pq
T T T
T F F
F T T
F F T