Jump to content

User:Gregbard/Theorems of propositional logic

From Wikipedia, the free encyclopedia

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

Propositional logic
,

Other

[edit]