User:Ascii/Propositional Logic/Implication

The following is a list of theorems in propositional logic with the only logical connective featured being implication.