Propositional proofs, CSC530, Fall 2024
1 Handin
8.14

Propositional proofs, CSC530, Fall 2024🔗

From LACI, part 2

Exercises 1, 2 (pick 2/4 of these), 3, 4 (pick 2/4 of these), 5, 6 (pick 2/4 of these), 9 (optional).

1 Handin🔗

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