※ 引述 《yam276 (史萊哲林的優等生)》 之銘言:
:
: ※ 引述《kazunerae (数狙え)》之銘言:
: : 命題:大俠必吃漢堡包
: : A是大俠,你不知道他在吃啥
: : B不是大俠,你不知道他在吃啥
: : C在吃漢堡包
: : D在啃香蕉
: : 為確認命題是否有誤,
: : 你至少得確認誰的餐點/身份?
:
: 我想了一下
:
:
: 大俠->必吃漢堡包
:
: 若P則Q
:
: 非Q則非P
:
: 必不吃漢堡包->必不是大俠
:
:
:
: D在啃香蕉 D一定不該是大俠
:
: 所以要確認D是不是大俠
:
條件句只在一種情況會出錯:前者為真後者為假
首先 大俠為真卻不吃漢堡包的情況下 命題為假
再者 此命題等價於:不吃漢堡包->非大俠(2)
(2)在不吃漢堡包卻是大俠的情況 (2)為假
B對應原命題 前者為假 後者真假值不影響命題真假
C對應(2) 前者為假 後者真假值不影響命題真假
A對應原命題 前者為真 後者真假值影響命題真假
D對應(2) 前者為真 後者真假值影響命題真假
大概這樣