将已解答的练习调整到您的课程。 免费注册
点击此处了解推理规则
命题逻辑 - 基本推理规则
[练习 1]
- s → t
- t → r
- s
⊦ r
1. s → t (前提) 2. t → r (前提) 3. s (前提) 4. t E→ 1,3 5. r E→ 2,4
[练习 2]
- p ∧ ¬¬q
⊦ q
1. p ∧ ¬¬q (前提) 2. ¬¬q E∧ 1 3. q E¬ 2
[练习 3]
- t ∨ m
- t → p
- p → s
- m → q
- q → w ∧ t
⊦ s ∨ (w ∧ t)
1. t ∨ m (前提) 2. t → p (前提) 3. p → s (前提) 4. m → q (前提) 5. q → w ∧ t (前提) ┌ 6. t (假设) │ 7. p E→ 2,6 │ 8. s E→ 3,7 │ 9. s ∨ (w ∧ t) I∨ 8 └ ┌ 10. m (假设) │ 11. q E→ 4,10 │ 12. w ∧ t E→ 5,11 │ 13. s ∨ (w ∧ t) I∨ 12 └ 14. s ∨ (w ∧ t) E∨ 1,6-9,10-13
[练习 4]
- p ∨ (r ∧ m) → s
- q ∧ s → t
- s ∧ t → r
⊦ p → (q → s)
1. p ∨ (r ∧ m) → s (前提) 2. q ∧ s → t (前提) 3. s ∧ t → r (前提) ┌ 4. p (假设) │ ┌ 5. q (假设) │ │ 6. p ∨ (r ∧ m) I∨ 4 │ │ 7. s E→ 1,6 │ └ │ 8. q → s I→ 5-7 └ 9. p → (q → s) I→ 4-8
[练习 5]
- q ∨ r → ¬(p ∧ s)
- t ∨ m → k ∧ m
- k → s
- m → r
- ¬(p ∧ s) → ¬(t ∨ m)
⊦ ¬(t ∨ m)
1. q ∨ r → ¬(p ∧ s) (前提) 2. t ∨ m → k ∧ m (前提) 3. k → s (前提) 4. m → r (前提) 5. ¬(p ∧ s) → ¬(t ∨ m) (前提) ┌ 6. t ∨ m (归谬法假设) │ 7. k ∧ m E→ 2,6 │ 8. m E∧ 7 │ 9. r E→ 4,8 │ 10. q ∨ r I∨ 9 │ 11. ¬(p ∧ s) E→ 1,10 │ 12. ¬(t ∨ m) E→ 5,11 │ 13. (t ∨ m) ∧ ¬(t ∨ m) I∧ 6,12 └ 14. ¬(t ∨ m) I¬ 6-13
[练习 6]
- p → t ∨ r
- t → s ∧ m
- m ∨ r → ¬(t ∨ r)
⊦ ¬p
1. p → t ∨ r (前提) 2. t → s ∧ m (前提) 3. m ∨ r → ¬(t ∨ r) (前提) ┌ 4. p (归谬法假设) │ 5. t ∨ r E→ 1,4 │ ┌ 6. t (假设) │ │ 7. s ∧ m E→ 2,6 │ │ 8. m E∧ 7 │ │ 9. m ∨ r I∨ 8 │ │ 10. ¬(t ∨ r) E→ 3,9 │ └ │ ┌ 11. r (假设) │ │ 12. m ∨ r I∨ 11 │ │ 13. ¬(t ∨ r) E→ 3,12 │ └ │ 14. ¬(t ∨ r) E∨ 5,6-10,11-13 │ 15. (t ∨ r) ∧ ¬(t ∨ r) I∧ 5,14 └ 16. ¬p I¬ 4-15
命题逻辑 - 派生推理规则
[练习 7]
- ¬p → ¬q
- q
⊦ p
1. ¬p → ¬q (前提) 2. q (前提) 3. q → p CTPS 1 (换位律) 4. p E→ 2,3
[练习 8]
- p → q ∧ r
- ¬q ∨ ¬r
⊦ ¬p
1. p → q ∧ r (前提) 2. ¬q ∨ ¬r (前提) 3. ¬(q ∧ r) DM 2 (德摩根律) 4. ¬p MT 1,3 (拒取式)
[练习 9]
- p ∨ q
- t → ¬p
- ¬(q ∨ r)
⊦ ¬t
1. p ∨ q (前提) 2. t → ¬p (前提) 3. ¬(q ∨ r) (前提) 4. ¬q ∧ ¬r DM 3 5. ¬q E∧ 4 6. p SD 1,5 (析取三段论) 7. ¬¬p I¬¬ 6 8. ¬t MT 2,7
[练习 10]
- (p ∨ q) → r ∨ ¬(s → t)
- ¬(s ∨ t) ∧ ¬r
⊦ ¬p ∧ ¬q
1. (p ∨ q) → r ∨ ¬(s → t) (前提) 2. ¬(s ∨ t) ∧ ¬r (前提) 3. ¬(s ∨ t) E∧ 2 4. ¬r E∧ 2 5. ¬s ∧ ¬t DM 3 6. ¬s E∧ 5 7. ¬s ∨ t I∨ 6 8. s → t DEF→ 7 9. ¬¬(s → t) I¬¬ 8 10. ¬r ∧ ¬¬(s → t) I∧ 4,9 11. ¬(r ∨ ¬(s → t)) DM 10 12. ¬(p ∨ q) MT 1,11 13. ¬p ∧ ¬q DM 12
[练习 11]
- p ∨ q ↔ r ∨ s
- ¬(m ∧ ¬n)
- w ∨ n
- (r → t) → u ∧ (w → m)
- ¬(n ∨ ¬t)
⊦ ¬p ∨ ¬q
1. p ∨ q ↔ r ∨ s (前提) 2. ¬(m ∧ ¬n) (前提) 3. w ∨ n (前提) 4. (r → t) → u ∧ (w → m) (前提) 5. ¬(n ∨ ¬t) (前提) 6. ¬n ∧ t DM 5 7. ¬n E∧ 6 8. t E∧ 6 9. ¬m ∨ n DM 2 10. ¬m SD 9,7 11. w SD 3,7 12. r → t SIMP.COND 8 (t为真) 13. u ∧ (w → m) E→ 4,12 14. w → m E∧ 13 15. m E→ 14,11 16. m ∧ ¬m I∧ 15,10 17. ¬p ∨ ¬q EFQ 16 (爆炸原理)
[练习 12]
无前提
⊦ (p ∧ q → r) ↔ (p ∧ ¬r → ¬q)
┌ 1. p ∧ q → r (假设 →) │ ┌ 2. p ∧ ¬r (假设 →) │ │ 3. p E∧ 2 │ │ 4. ¬r E∧ 2 │ │ ┌ 5. q (归谬法假设) │ │ │ 6. p ∧ q I∧ 3,5 │ │ │ 7. r E→ 1,6 │ │ │ 8. r ∧ ¬r I∧ 7,4 │ │ └ │ │ 9. ¬q I¬ 5-8 │ └ │ 10. p ∧ ¬r → ¬q I→ 2-9 └ ┌ 11. p ∧ ¬r → ¬q (假设 ←) │ ┌ 12. p ∧ q (假设 →) │ │ 13. p E∧ 12 │ │ 14. q E∧ 12 │ │ ┌ 15. ¬r (归谬法假设) │ │ │ 16. p ∧ ¬r I∧ 13,15 │ │ │ 17. ¬q E→ 11,16 │ │ │ 18. q ∧ ¬q I∧ 14,17 │ │ └ │ │ 19. r I¬ 15-18 │ └ │ 20. p ∧ q → r I→ 12-19 └ 21. (p ∧ q → r) ↔ (p ∧ ¬r → ¬q) I↔ 1-10,11-20
谓词逻辑 - 基本推理规则
[练习 13]
- ∀x(Px → Qx)
- Pa
⊦ ∃xQx
1. ∀x(Px → Qx) (前提) 2. Pa (前提) 3. Pa → Qa E∀ 1 [x/a] 4. Qa E→ 2,3 5. ∃xQx I∃ 4
[练习 14]
- ∀xPx ∧ ∀xQx
⊦ ∀x(Px ∧ Qx)
1. ∀xPx ∧ ∀xQx (前提) 2. ∀xPx E∧ 1 3. ∀xQx E∧ 1 4. Pa E∀ 2 [x/a] (a为任意个体) 5. Qa E∀ 3 [x/a] 6. Pa ∧ Qa I∧ 4,5 7. ∀x(Px ∧ Qx) I∀ 6
[练习 15]
- ∀xPx ∨ ∀xQx
⊦ ∀x(Px ∨ Qx)
1. ∀xPx ∨ ∀xQx (前提) ┌ 2. ∀xPx (假设) │ 3. Pa E∀ 2 [x/a] (a为任意个体) │ 4. Pa ∨ Qa I∨ 3 │ 5. ∀x(Px ∨ Qx) I∀ 4 └ ┌ 6. ∀xQx (假设) │ 7. Qa E∀ 6 [x/a] │ 8. Pa ∨ Qa I∨ 7 │ 9. ∀x(Px ∨ Qx) I∀ 8 └ 10. ∀x(Px ∨ Qx) E∨ 1,2-5,6-9
[练习 16]
- ∀x∀y∀z((Rxy ∧ Ryz) → Rxz)
- ∀x¬Rxx
⊦ ∀x∀y(Rxy → ¬Ryx)
1. ∀x∀y∀z((Rxy ∧ Ryz) → Rxz) (前提) 2. ∀x¬Rxx (前提) ┌ 3. Rab (假设, a,b为任意个体) │ ┌ 4. Rba (归谬法假设) │ │ 5. Rab ∧ Rba I∧ 3,4 │ │ 6. (Rab ∧ Rba) → Raa E∀ 1 [x/a,y/b,z/a] │ │ 7. Raa E→ 5,6 │ │ 8. ¬Raa E∀ 2 [x/a] │ │ 9. Raa ∧ ¬Raa I∧ 7,8 │ └ │ 10. ¬Rba I¬ 4-9 └ 11. Rab → ¬Rba I→ 3-10 12. ∀x∀y(Rxy → ¬Ryx) I∀ 11
[练习 17]
- ∀x(Px → Qx)
⊦ ∀x(∀y(Px ∧ Ryx) → ∀y(Qx ∧ Ryx))
1. ∀x(Px → Qx) (前提) ┌ 2. ∀y(Pa ∧ Rya) (假设, a为任意个体) │ 3. Pa ∧ Rba E∀ 2 [y/b] (b为任意个体) │ 4. Pa E∧ 3 │ 5. Rba E∧ 3 │ 6. Pa → Qa E∀ 1 [x/a] │ 7. Qa E→ 4,6 │ 8. Qa ∧ Rba I∧ 7,5 │ 9. ∀y(Qa ∧ Rya) I∀ 8 └ 10. ∀y(Pa ∧ Rya) → ∀y(Qa ∧ Rya) I→ 2-9 11. ∀x(∀y(Px ∧ Ryx) → ∀y(Qx ∧ Ryx)) I∀ 10
[练习 18]
- ∀x(Px → (∀y(Qy ∧ Ryz) ↔ ¬Sx))
⊦ ∀x((Px ∧ ∀y¬(Qy ∧ Ryx)) → ¬Sx)
1. ∀x(Px → (∀y(Qy ∧ Ryz) ↔ ¬Sx)) (前提) ┌ 2. Pa ∧ ∀y¬(Qy ∧ Rya) (假设, a为任意个体) │ 3. Pa E∧ 2 │ 4. ∀y¬(Qy ∧ Rya) E∧ 2 │ 5. Pa → (∀y(Qy ∧ Ryz) ↔ ¬Sa) E∀ 1 [x/a] │ 6. ∀y(Qy ∧ Ryz) ↔ ¬Sa E→ 3,5 │ 7. ¬∃y(Qy ∧ Rya) Def∀/∃ 4 │ 8. ¬∀y(Qy ∧ Rya) (由7，若不存在则全称否定) │ 9. ¬Sa E↔ 6,8 (双条件句) └ 10. (Pa ∧ ∀y¬(Qy ∧ Rya)) → ¬Sa I→ 2-9 11. ∀x((Px ∧ ∀y¬(Qy ∧ Ryx)) → ¬Sx) I∀ 10
谓词逻辑 - 派生推理规则
[练习 19]
- ∀x(Px → Qx)
- ∀x(¬Sx → ¬Qx)
⊦ ∀x(Px → Sx ∨ Rx)
1. ∀x(Px → Qx) (前提) 2. ∀x(¬Sx → ¬Qx) (前提) ┌ 3. Pa (假设, a为任意个体) │ 4. Pa → Qa E∀ 1 [x/a] │ 5. Qa E→ 3,4 │ 6. ¬Sa → ¬Qa E∀ 2 [x/a] │ 7. Qa → Sa CTPS 6 (换位律) │ 8. Sa E→ 5,7 │ 9. Sa ∨ Ra I∨ 8 └ 10. Pa → Sa ∨ Ra I→ 3-9 11. ∀x(Px → Sx ∨ Rx) I∀ 10
[练习 20]
- ∀xPx → ∀xQx
- ¬Qa
⊦ ¬∀xPx
1. ∀xPx → ∀xQx (前提) 2. ¬Qa (前提) 3. ∃x¬Qx I∃ 2 4. ¬∀xQx Def∃/∀ 3 5. ¬∀xPx MT 1,4
[练习 21]
- ∀x(Tx → Mx)
- ∀x¬(Mx ∧ Rx)
- ∀x(Tx → (Px → Rx))
⊦ ∀x(Tx → ¬Px)
1. ∀x(Tx → Mx) (前提) 2. ∀x¬(Mx ∧ Rx) (前提) 3. ∀x(Tx → (Px → Rx)) (前提) ┌ 4. Ta (假设, a为任意个体) │ 5. Ta → Ma E∀ 1 [x/a] │ 6. Ma E→ 4,5 │ 7. ¬(Ma ∧ Ra) E∀ 2 [x/a] │ 8. ¬Ma ∨ ¬Ra DM 7 │ 9. ¬Ra SD 8,6 │ 10. Ta → (Pa → Ra) E∀ 3 [x/a] │ 11. Pa → Ra E→ 4,10 │ 12. ¬Pa MT 11,9 └ 13. Ta → ¬Pa I→ 4-12 14. ∀x(Tx → ¬Px) I∀ 13
[练习 22]
- ∀xMx
- ∀x¬Lxx
- ¬∃x∃y(Lxy ∧ ¬Lxx)
⊦ ¬∀x∃y¬(Mx → ¬Lxy)
1. ∀xMx (前提) 2. ∀x¬Lxx (前提) 3. ¬∃x∃y(Lxy ∧ ¬Lxx) (前提) 4. ∀x∀y¬(Lxy ∧ ¬Lxx) Def∃/∀ 3 5. Ma E∀ 1 [x/a] (a为任意个体) 6. ¬Laa E∀ 2 [x/a] 7. ¬(Laa ∧ ¬Laa) E∀ 4 [x/a,y/a] 8. Ma → ¬Laa I→ (由 5,6) 9. ∀x(Mx → ¬Lxx) I∀ 8 10. ∃y¬(Ma → ¬Lay) → ⊥ (通过分析) 11. ¬∀x∃y¬(Mx → ¬Lxy) I¬ (结果)
[练习 23]
- ∀x∀y∀z(¬(Txy → Txz) → ¬Qyz)
- ∀x∀y∀z(Rya → Qzx)
- ∃x∃y∃z(Txz ∧ Txy)
⊦ ¬∃xRxa
1. ∀x∀y∀z(¬(Txy → Txz) → ¬Qyz) (前提) 2. ∀x∀y∀z(Rya → Qzx) (前提) 3. ∃x∃y∃z(Txz ∧ Txy) (前提) ┌ 4. Tbc ∧ Tba (假设 E∃, b,c为任意个体) │ 5. Rba → Qca E∀ 2 [x/a,y/b,z/c] │ 6. ¬(Tbc → Tba) → ¬Qca E∀ 1 [x/b,y/c,z/a] │ 7. Qca → (Tbc → Tba) CTPS 6 │ 8. Tbc E∧ 4 │ 9. Tba E∧ 4 │ 10. Tbc → Tba I→ (显然，两者皆真) │ ┌ 11. Rba (归谬法假设) │ │ 12. Qca E→ 5,11 │ │ 13. Tbc → Tba E→ 7,12 │ │ (已有10，一致) │ └ │ 14. ¬Rba (通过论证分析) │ 15. ∀x¬Rxa I∀ 14 └ 16. ¬∃xRxa Def∀/∃ 15
[练习 24]
- ∀x(¬Fa ∨ Qx)
- ∀x(Qx ∧ Txb → Rx)
⊦ ∀x¬(Qx ∧ Rx) → (Fa ∨ ¬Tbb)
1. ∀x(¬Fa ∨ Qx) (前提) 2. ∀x(Qx ∧ Txb → Rx) (前提) ┌ 3. ∀x¬(Qx ∧ Rx) (假设) │ 4. ¬Fa ∨ Qb E∀ 1 [x/b] │ 5. Qb ∧ Tbb → Rb E∀ 2 [x/b] │ 6. ¬(Qb ∧ Rb) E∀ 3 [x/b] │ ┌ 7. ¬Fa (假设) │ │ 8. Fa ∨ ¬Tbb I∨ (¬Fa蕴含可推导) │ │ ... (分情况讨论) │ └ │ 9. Fa ∨ ¬Tbb (结果) └ 10. ∀x¬(Qx ∧ Rx) → (Fa ∨ ¬Tbb) I→ 3-9
带同一性的谓词逻辑 - 基本规则
[练习 25]
- ∀x(Px → Qx)
- Pa
- b=a
⊦ Qb
1. ∀x(Px → Qx) (前提) 2. Pa (前提) 3. b=a (前提) 4. Pa → Qa E∀ 1 [x/a] 5. Qa E→ 2,4 6. Qb =E 3,5 (等值替换)
[练习 26]
- ∃x∀y(ιxPx=x ∧ y≠x)
⊦ Qa
1. ∃x∀y(ιxPx=x ∧ y≠x) (前提) ┌ 2. ∀y(ιxPx=a ∧ y≠a) (假设 E∃) │ 3. ιxPx=a ∧ b≠a E∀ 2 [y/b] │ 4. ιxPx=a E∧ 3 │ 5. P(ιxPx) (根据摹状词定义) │ 6. Pa =E 4,5 │ (需要更多信息推导Qa) └
注：此练习需要额外前提才能推导Qa。
[练习 27]
无前提
⊦ ∀x∀y∀z[(x≠y ∧ y=z) → x≠z]
┌ 1. a≠b ∧ b=c (假设, a,b,c为任意个体) │ 2. a≠b E∧ 1 │ 3. b=c E∧ 1 │ ┌ 4. a=c (归谬法假设) │ │ 5. a=b =E 3,4 (由c=b传递) │ │ 6. a≠b ∧ a=b I∧ 2,5 │ └ │ 7. a≠c I¬ 4-6 └ 8. (a≠b ∧ b=c) → a≠c I→ 1-7 9. ∀x∀y∀z[(x≠y ∧ y=z) → x≠z] I∀ 8
[练习 28]
- a=ιxPx
- ∀x(Qx → ¬Px)
⊦ P(ιxPx)
1. a=ιxPx (前提) 2. ∀x(Qx → ¬Px) (前提) 3. Pa (根据定义：若a=ιxPx，则Pa) 4. P(ιxPx) =E 1,3
[练习 29]
- ¬∃x∃y(x≠y)
⊦ ∃xPx → ∀xPx
1. ¬∃x∃y(x≠y) (前提：只存在一个对象) 2. ∀x∀y(x=y) Def 1 ┌ 3. ∃xPx (假设) │ ┌ 4. Pa (假设 E∃) │ │ 5. a=b E∀ 2 [x/a,y/b] (b为任意个体) │ │ 6. Pb =E 5,4 │ │ 7. ∀xPx I∀ 6 │ └ │ 8. ∀xPx E∃ 3,4-7 └ 9. ∃xPx → ∀xPx I→ 3-8
[练习 30]
- ∀x(Sx → Qx)
- ∀x(¬Px → ¬Qx)
- S(ιxPx)
- ¬Pa
⊦ a≠ιxPx
1. ∀x(Sx → Qx) (前提) 2. ∀x(¬Px → ¬Qx) (前提) 3. S(ιxPx) (前提) 4. ¬Pa (前提) 5. S(ιxPx) → Q(ιxPx) E∀ 1 [x/ιxPx] 6. Q(ιxPx) E→ 3,5 7. ¬Pa → ¬Qa E∀ 2 [x/a] 8. ¬Qa E→ 4,7 ┌ 9. a=ιxPx (归谬法假设) │ 10. Qa =E 9,6 │ 11. Qa ∧ ¬Qa I∧ 10,8 └ 12. a≠ιxPx I¬ 9-11
带同一性的谓词逻辑 - 派生规则
[练习 31]
- ∀x(x=a → Qx)
- ∀x(Qx → ¬Rx)
⊦ ∀x(Rx → x≠a)
1. ∀x(x=a → Qx) (前提) 2. ∀x(Qx → ¬Rx) (前提) ┌ 3. Rb (假设, b为任意个体) │ 4. b=a → Qb E∀ 1 [x/b] │ 5. Qb → ¬Rb E∀ 2 [x/b] │ ┌ 6. b=a (归谬法假设) │ │ 7. Qb E→ 4,6 │ │ 8. ¬Rb E→ 5,7 │ │ 9. Rb ∧ ¬Rb I∧ 3,8 │ └ │ 10. b≠a I¬ 6-9 └ 11. Rb → b≠a I→ 3-10 12. ∀x(Rx → x≠a) I∀ 11
[练习 32]
无前提
⊦ ∀x[Px ↔ ∃y(y=x ∧ Py)]
(对任意a) ┌ 1. Pa (假设 →) │ 2. a=a =I (自反性) │ 3. a=a ∧ Pa I∧ 2,1 │ 4. ∃y(y=a ∧ Py) I∃ 3 └ ┌ 5. ∃y(y=a ∧ Py) (假设 ←) │ ┌ 6. b=a ∧ Pb (假设 E∃) │ │ 7. b=a E∧ 6 │ │ 8. Pb E∧ 6 │ │ 9. Pa =E 7,8 │ └ │ 10. Pa E∃ 5,6-9 └ 11. Pa ↔ ∃y(y=a ∧ Py) I↔ 1-4,5-10 12. ∀x[Px ↔ ∃y(y=x ∧ Py)] I∀ 11
[练习 33]
无前提
⊦ ∀x∀y∀z[x≠y ∧ y=z → x≠z]
(同练习27) ┌ 1. a≠b ∧ b=c (假设) │ 2. a≠b E∧ 1 │ 3. b=c E∧ 1 │ ┌ 4. a=c (归谬法假设) │ │ 5. c=b SIM 3 │ │ 6. a=b TRANS 4,5 │ │ 7. ⊥ I∧ 2,6 │ └ │ 8. a≠c I¬ 4-7 └ 9. (a≠b ∧ b=c) → a≠c I→ 1-8 10. ∀x∀y∀z[x≠y ∧ y=z → x≠z] I∀ 9
[练习 34]
- ∃xPx ∧ ∀x∀y(Px ∧ Py → x=y)
⊦ ¬∃x∃y[x≠y ∧ ∀z(Pz ↔ x=z ∨ y=z)]
1. ∃xPx ∧ ∀x∀y(Px ∧ Py → x=y) (前提：恰存在一个P) 2. ∃xPx E∧ 1 3. ∀x∀y(Px ∧ Py → x=y) E∧ 1 ┌ 4. ∃x∃y[x≠y ∧ ∀z(Pz ↔ x=z ∨ y=z)] (归谬法假设) │ ┌ 5. a≠b ∧ ∀z(Pz ↔ a=z ∨ b=z) (假设 E∃) │ │ 6. a≠b E∧ 5 │ │ 7. ∀z(Pz ↔ a=z ∨ b=z) E∧ 5 │ │ 8. Pa ↔ a=a ∨ b=a E∀ 7 [z/a] │ │ 9. a=a =I │ │ 10. a=a ∨ b=a I∨ 9 │ │ 11. Pa E↔ 8,10 │ │ 12. Pb ↔ a=b ∨ b=b E∀ 7 [z/b] │ │ 13. b=b =I │ │ 14. a=b ∨ b=b I∨ 13 │ │ 15. Pb E↔ 12,14 │ │ 16. Pa ∧ Pb I∧ 11,15 │ │ 17. Pa ∧ Pb → a=b E∀ 3 [x/a,y/b] │ │ 18. a=b E→ 16,17 │ │ 19. a≠b ∧ a=b I∧ 6,18 │ └ │ 20. ⊥ E∃ 4,5-19 └ 21. ¬∃x∃y[x≠y ∧ ∀z(Pz ↔ x=z ∨ y=z)] I¬ 4-20
[练习 35]
无前提
⊦ ∃xPx ∧ ∀x∀y(Px ∧ Py → x=y) ↔ ∃x∀y(Py ↔ x=y)
(→) 假设 ∃xPx ∧ ∀x∀y(Px ∧ Py → x=y) 设Pa (由 E∃)。对任意b： - 若Pb，则Pa ∧ Pb，故a=b - 若a=b，则Pb (由Pa和替换) 因此：∀y(Py ↔ a=y) 所以：∃x∀y(Py ↔ x=y) (←) 假设 ∃x∀y(Py ↔ x=y) 设 ∀y(Py ↔ a=y) (由 E∃) - Pa ↔ a=a，且a=a为真，所以Pa。故∃xPx。 - 若Pb ∧ Pc，则a=b且a=c，故b=c。 所以：∃xPx ∧ ∀x∀y(Px ∧ Py → x=y)
[练习 36]
无前提
⊦ ∃x∃y(x≠y) ↔ ∀x∃y(x≠y)
(→) 假设 ∃x∃y(x≠y) 设a,b使得a≠b。 对任意c： - 若c=a，则c≠b (因a≠b) - 若c≠a，则c≠a 因此：∀x∃y(x≠y) (←) 假设 ∀x∃y(x≠y) 特别地，对某个a：∃y(a≠y) 设b使得a≠b。 则 ∃x∃y(x≠y) (取x=a, y=b)