RISC JKU

Propositional Theorems on Implication

Negated Implication
Contraposition
Double Implication
Distributivity of Implication over Disjunction
Distributivity of Implication over Conjunction
Multiple Implication
Multiple Conjunction
Asked by Barendregt