Professional Documents
Culture Documents
𝜙 𝜓 And introduction
∧𝑖
𝜙∧𝜓
conclusion
𝜙∧𝜓
• ∧ 𝑒1 : if you have a proof of 𝜙 ∧ 𝜓, then by applying
𝜙
this rule you can get a proof of 𝜙.
𝜙∧𝜓
• ∧ 𝑒2 : if you have a proof of 𝜙 ∧ 𝜓, then by applying
𝜓
this rule you can get a proof of 𝜓.
• Prove 𝑝 ∧ 𝑞, 𝑟 ⊢ 𝑞 ∧ 𝑟 is valid.
• 1: 𝑝 ∧ 𝑞 premise
• 2: 𝑟 premise
• 3: 𝑞 ∧ 𝑒2 1
• 4: 𝑞 ∧ 𝑟 ∧ 𝑖 3,2
• Prove 𝑝 ∧ 𝑞 ∧ 𝑟, 𝑠 ∧ 𝑡 ⊢ 𝑞 ∧ 𝑠 is valid.
• 1: (𝑝 ∧ 𝑞) ∧ 𝑟 premise
• 2: 𝑠 ∧ 𝑡 premise
• 3: 𝑝 ∧ 𝑞 ∧ 𝑒1 1
• 4: 𝑞 ∧ 𝑒2 3
• 5: 𝑠 ∧ 𝑒1 2
• 6: 𝑞 ∧ 𝑠 ∧ 𝑖 4,5
Prove 𝑞 ∧ 𝑠 ⊢ 𝑠 ∧ 𝑞 is valid.
¬¬𝜙
• Rule: ¬¬𝑒
𝜙
𝜙
• Rule: ¬¬𝑖
¬¬𝜙
𝜙 𝜙⟶𝜓
• Rule: ⟶𝑒
𝜓
𝜙⟶𝜓 ¬𝜓
• 𝑀𝑇
¬𝜙