Propositional proofs, CSC530, Fall 2024🔗

Here are some propositional statements. All but one of them is valid, and can be proven using intuitionistic logic as shown in class. Use "proust-imp-basic-with-holes.rkt" to create proofs for them, using a check-expect as shown in the file.

(A -> A)

(((A -> A) -> A) -> A)

((A -> A) -> A)

(A -> (A -> B) -> B)

((A -> B) -> (C -> B) -> A -> B)

(((A -> B) -> C) -> B -> C)

1 Handin🔗

TBA!