Propositional proofs, CSC530, Fall 2025🔗

From LACI, part 2

• Exercise 1 (conjunction)

• Exercise 2, but pick 2 out of the 4

• Exercise 3 (disjunction)

• Exercise 4, but pick 2 of the 4

• Exercise 5 (negation)

• Exercise 6b, (prove ((¬ (A ∨ B)) -> (A -> B))) and one of the three others.