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