形式逻辑的一个简单问题

一、形式逻辑的一个简单问题

将命题1~3形式化:1.SIP 2:SOP C:POS

1与2为下反对关系,又知1~3中1T2F

所以,1、2中1T1F,则3必为F。

形式逻辑的一个简单问题

又,3F,推出 PIS(T).

假设:

1)1T,可得PIS(T),与结论不矛盾。

2)2T,这与前提结论PIS(T)矛盾,因此不成立。

综上,1T,2、3F,所以,P与S为同一关系。

二、sop和pos的真假关系?

sop和pos是真是假的关系这个的话我觉得是他们的关系应该是真关系因该是关系是假的

三、逻辑学里 sop pos 是什么意思啊?

sop:sum of product 积之和 即化成最小项的形式

pos:product of sum 和之积 即化成最大项的形式

本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体),仅供学习参考。 用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权,请联系我们反馈本站将在三个工作日内改正。