Properties of classical logics: Law of the excluded middle Double negative elimination Law of noncontradiction Principle of explosion Monotonicity of entailment Idempotency of entailment Commutativity of conjunction De Morgan duality – every logical operator is dual to another Term logic General concepts in classical logic Baralipton Baroco Bivalence Boolean logic Boolean-valued function Categorical proposition Distribution of terms End term Enthymeme Immediate inference Law of contraries Logical connective Major term Middle term Minor term Organon Polysyllogism Port-Royal Logic Premise Prior Analytics Relative term Sorites paradox Square of opposition Sum of Logic Syllogism Tetralemma Truth function