Tableau Proofs (BB: Exercise 4.2.1)
Give tableau proofs of the following formulas:
- ¬¬p → p
- ((p → q) → p) → p
- (¬p → ¬q) → (q → p)
- p → (p ∧ (q ∨ p))
Navigation
Noch keine Kommentare eingereicht. Bitte hilf uns diese Aufgabe zu verbessern.