作业帮 > 综合 > 作业

怎么将命题转换成标准的逻辑命题.

来源:学生作业帮 编辑:作业帮 分类:综合作业 时间:2024/07/07 12:58:13
怎么将命题转换成标准的逻辑命题.
4类标准的逻辑命题如SAP SEP SIP SOP
以下两句是不是应转化为上述的格式
北方人不都爱吃面食 南方人都不爱吃面食.
转化为标准格后是什么情况,同时它的负命题又是什么
Px表示x是人,Nx表示x是北方的,Sx表示x是南方的,Lx表示x爱吃面食
(因为找不到存在符号和全称符号,我这里用E表示存在,A表示全称)
前一个句子符号化为:
Ex(Px∧Nx∧∽Lx),反命题是∽Ex(Px∧Nx∧∽Lx),可化为Ax∽(Px∧Nx∧∽Lx),进一步化为Ax(Px∧Nx∧Lx),
后一个句子符号化为
Ax(Px∧Sx→∽Lx).反命题是Ex(Px∧Sx∧Lx)