Propositional proofs, CSC530, Fall 2025🔗

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-with-holes.rkt" to create proofs for them, using the structure 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)