- (P ∧ Q) ∨ (P ∧ R)
- P ∧ Q - supp
- P - ∧E
- P ∧ R - supp
- P - ∧ E
- P
- P ∧ Q - supp
- Q - ∧ E
- Q ∨ R - ∨I
- P ∧ R - supp
- R - ∧ E
- R ∨ Q - ∨ I
- Q ∨ R
- P ∧ (Q ∨ R)
Chapter 23 - PL proofs theorems
theorem - ⊨ for syntax
Chapter 23 - PL proofs theorems
theorem - ⊨ for syntax