User:Gregbard/Theorems of propositional logic

This is a list of truth-functional tautologies which are theorems of propositional logic.

Propositional logic
,

Other

edit