形式逻辑的一个简单问题
一、形式逻辑的一个简单问题
将命题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 和之积 即化成最大项的形式