您好、欢迎来到现金彩票网!
当前位置:秒速快三 > 说明语义学 >

一阶逻辑和描述逻辑在语法语义推理问题方面的区别

发布时间:2019-09-12 20:22 来源:未知 编辑:admin

  我不知道自然推理系统中有什么符号、什么规则,但推理的道理应该是基本一致的.定义谓词:A(x):x是有意义的命题;B(x):x是分析的命题;C(x):x是原则上可以证伪的命题;D(x):x是宗教命题;我用符号【@】分别表示【全称量词】;那么:前提:(1):@x(A(x)∧¬B(x)→C(x));(2):@x(D(x)→(¬B(x)∧¬C(x));结论:(0):@x(D(x)→¬A(x));其实,由于本题只涉及全称量词,而且只有一个变元,所以,完全可以用命题逻辑的方法解决:(1):A∧¬B→C;(2):D→¬B∧¬C;证明:根据(1)=>【¬(A∧¬B)∨C】=>【(¬A∨B)∨C】=>【(B∨C)∨¬A】=>【¬(B∨C)→¬A】=>【¬B∧¬C→¬A】再利用(2)=>【D→¬A】证毕;你只需把上面的符号改成相应的谓词,再在最前面加上量词就可以了.

http://lenjproductions.com/shuomingyuyixue/467.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有