你的第三句寫錯了,應(yīng)該是為真,就是
說當(dāng)條件為假時(shí)結(jié)論無論真假,命題均
真,在一本上海交大出的離散數(shù)學(xué)上說,
當(dāng)條件為假時(shí),視為善意的推斷,所以
結(jié)論無論真假,命題都真,而第一句是
因?yàn)樗檬呛驼婷}條件為真時(shí)結(jié)論
為真是矛盾的,其實(shí)這四句話組成了條件
連接詞的真值表,真值表本身是人為
規(guī)定的,當(dāng)然規(guī)定是要依據(jù)事實(shí)的,不能
瞎規(guī)定,就是說在這樣的規(guī)定下,它與
實(shí)際是相符的,并且能依據(jù)它解決實(shí)際
問題,你如果真的對數(shù)學(xué)感興趣,你可以
用這樣規(guī)定的條件連接詞真值表去看看
在高中數(shù)學(xué)中有關(guān)充分條件的內(nèi)容,
或者看看不等式的證明,想想是不是
這樣規(guī)定的條件連接詞真值表特別有用?
不過這里有一點(diǎn)要注意,充分條件是用到
這個(gè)真值表,它和條件連接詞有區(qū)別,
像這些問題,我不大好解釋,那就看你
有沒有這個(gè)大腦了.