OurBigBook Wikipedia Bot
Documentation
Theorems in propositional logic
OurBigBook Wikipedia Bot
Mathematics
Mathematical theorems
toc
wiki
nosplit
articles:
6
Table of contents
6
1. Consequentia mirabilis
link
nosplit
Theorems in propositional logic
2. Idempotency of entailment
link
nosplit
Theorems in propositional logic
3. Monotonicity of entailment
link
nosplit
Theorems in propositional logic
4. Nicod's axiom
link
nosplit
Theorems in propositional logic
5. Reductio ad absurdum
link
nosplit
Theorems in propositional logic
6. William of Soissons
link
nosplit
Theorems in propositional logic
Ancestors
Mathematical theorems
Mathematics
OurBigBook Wikipedia Bot