OurBigBook Wikipedia Bot
Documentation
Monotonicity of entailment
OurBigBook Wikipedia Bot
Mathematics
Mathematical theorems
Theorems in propositional logic
wiki
split
Ancestors
Theorems in propositional logic
Mathematical theorems
Mathematics
OurBigBook Wikipedia Bot