所有有意义的非分析命题原则上都可以证伪宗教命题不是分析的命題,原则上也不能证伪。因此宗教命题是没有意义的命题。
我不知道自然推理系统中有什么符号、什么规则但推理的道理应该是基本一致的。
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;
=>【¬(A∧¬B)∨C】
=>【(¬A∨B)∨C】
=>【(B∨C)∨¬A】
=>【¬(B∨C)→¬A】
=>【¬B∧¬C→¬A】
你只需把上面的符号改成相应的谓词再在最前面加上量词就可以了。
你对这个回答的评价是
你对这个回答的评价是?