[請益] 實質蘊涵與矛盾句

看板logic作者JeffBuckley (傑夫‧巴克利)時間11年前 (2013/01/15 16:58)推噓1(1推 0噓 3→)

留言4則, 2人參與討論串1/1

各位好，爬文前面的實質與邏輯蘊涵後還是有些地方不懂。想請問， (1)若命題p實質蘊涵q,則p可以有效推論出q。 (2)若p可以有效推論出q，則p實質蘊涵q。 (3)若p可以有效推論出q，則p邏輯蘊涵q。這幾句話是對的嗎？另外，一個本身是矛盾的命題與任何其它本身不是矛盾的命題都不相容。那麼請問，兩個本身都是矛盾的命題，有可能相容嗎？ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.4.176

→

JeffBuckley

01/15 16:58, , 1^F

01/15 16:58, 1^F

推

t0444564

01/15 17:54, , 2^F

01/15 17:54, 2^F

→

t0444564

01/15 17:55, , 3^F

01/15 17:55, 3^F