Propositional proofs, CSC530, Fall 2024🔗

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.

1 Handin🔗

Use the handin plugin, with the bin labeled "Assignment 2".