作者JeffBuckley (傑夫‧巴克利)
看板logic
標題[請益] 實質蘊涵與矛盾句
時間Tue Jan 15 16:58:24 2013
各位好,爬文前面的實質與邏輯蘊涵後還是有些地方不懂。
想請問,
(1)若命題p實質蘊涵q,則p可以有效推論出q。
(2)若p可以有效推論出q,則p實質蘊涵q。
(3)若p可以有效推論出q,則p邏輯蘊涵q。
這幾句話是對的嗎?
另外,一個本身是矛盾的命題與任何其它本身不是矛盾的命題都不相容。
那麼請問,兩個本身都是矛盾的命題,有可能相容嗎?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.4.176
1F:→ JeffBuckley:先感謝回答的板友噢! 01/15 16:58
2F:推 t0444564:雖然我的邏輯不怎麼好...直觀上看起來(1)(2)(3)都是對的 01/15 17:54
3F:→ t0444564:印象中,相容就是這些命題放在一起後都不會矛盾. 01/15 17:55
4F:→ t0444564:因為兩個矛盾的命題放在一起應該還是不相容的 01/15 17:55