2006-09-24 09:02:44半緣君

前項是假,句子必然為真

同事說:如果我不帶飯上班,我就不會買飯吃。

「如果我不帶飯上班,我就不會買飯吃。」(句子一)意思就是說:「如果我買飯吃,則我會帶飯上班。」(句子二)

句子一如果是真的,則它可以推論出句子二。

但明顯,句子二的前項如果是真,則句子二是假;基於句子一是真,句子二亦必然為真。所以句子二的前項必然會是假...

那我就明白為什麼前項是假,句式必然為真了。

感謝麗姐姐的說話,解開了無晴及嘉樂的疑問(是我隨了用邏輯符號或矛盾句外就無法解釋的疑問)。