数理逻辑证明题,谓词逻辑

来源：学生作业帮编辑：百度作业网作业帮分类：数学作业时间：2024/06/16 23:24:00

数理逻辑证明题,谓词逻辑
公理
1：A→(B→A)
2：(A→(B→C))→((A→B)→(A→C))
3：(﹁A→B) →((﹁A→﹁B) →A)
推理规则：分离规则：如果A,并且A→B,那么B.Th1：C→(D→(C→D));
Th2(D→A)→(D→D)
Th3((A→A) →A) →(A→( A→A))
Th4((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B))
Th5(﹁D→D) →D

都是命题逻辑证明吧
Th1:
(D→(C→D))->(C→(D→(C→D))) (公理1)
D→(C→D) (公理1)
C→(D→(C→D)) (分离规则)
Th2:
(D→(A→D))→((D→A)→(D→D)) (公理2)
D→(A→D) (公理1)
(D→A)→(D→D) (分离规则)
Th3:
(A→( A→A))→(((A→A) →A) →(A→( A→A))) (公理1)
A→( A→A) (公理1)
((A→A) →A) →(A→( A→A)) (分离规则)
再问：大师，还有两道呢啊
再答： Th4 (B→((﹁B→﹁C)→B))→(((﹁B→C)→(﹁B→﹁C))→(B→((﹁B→﹁C)→B))) (公理1) (B→((﹁B→﹁C)→B)) (公理1) ((﹁B→C)→(﹁B→﹁C))→(B→((﹁B→﹁C)→B)) (分离规则) (((﹁B→C)→(﹁B→﹁C))→(B→((﹁B→﹁C)→B)))→((((﹁B→C)→(﹁B→﹁C))→B)→(((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B))) (公理2) (((﹁B→C)→(﹁B→﹁C))→B)→(((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B)) (分离规则) ((﹁B→C)→(﹁B→﹁C))→B (公理3) ((﹁B→C)→(﹁B→﹁C))→((﹁B→﹁C)→B) (分离规则) Th5 ((﹁D→D)→((﹁D→﹁D)→D))→(((﹁D→D)→(﹁D→﹁D))→((﹁D→D)→D))(公理1) (﹁D→D)→((﹁D→﹁D)→D) (公理3) ((﹁D→D)→(﹁D→﹁D))→((﹁D→D)→D) (分离规则)[1] (﹁D→((﹁D→﹁D)→﹁D))→((﹁D→(﹁D→﹁D))→(﹁D→﹁D)) (公理2) ﹁D→((﹁D→﹁D)→﹁D) (公理1) (﹁D→(﹁D→﹁D))→(﹁D→﹁D) (分离规则) ﹁D→(﹁D→﹁D) (公理1) ﹁D→﹁D (分离规则) (﹁D→﹁D)→((﹁D→D)→(﹁D→﹁D)) (公理1) (﹁D→D)→(﹁D→﹁D) (分离规则)[2] (﹁D→D)→D ([1][2]分离规则)

离散数学书一道逻辑谓词证明题急求解~ 离散数学谓词逻辑证明的问题帮我解离散数学的一条逻辑谓词证明题中大考研逻辑真题“所有的人都是会死的,苏格拉底是人,所以,苏格拉底是会死的”,请用谓词逻辑证明. 一道离散数学中谓词逻辑方面的题、所有的人会死的,苏格拉底是人,所以,苏格拉底是会死的.请问用谓词逻辑怎么证明啊?这是考研真题, 离散数学的谓词逻辑题目一道逻辑学（面向计算机科学的数理逻辑）证明题数学逻辑和数理逻辑一样吗? 离散数学谓词逻辑问题：(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式谓词逻辑题此题困惑小弟许久,对了分号上面的是离散数学问题,谓词逻辑问题,求解,谢谢!