作者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