Template:Common logical symbols

Template documentation[view] [edit] [history] [purge]

This template's initial visibility currently defaults to autocollapse, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.

To change this template's initial visibility, the |state= parameter may be used:

{{Common logical symbols|state=collapsed}} will show the template collapsed, i.e. hidden apart from its title bar.
{{Common logical symbols|state=expanded}} will show the template expanded, i.e. fully visible.

v t e Logic templates
Types of logic	Classical logic Mathematical logic Metalogic Non-classical logic Philosophical logic
Other templates	Common logical symbols Logical connectives Logical paradoxes Logical truth Set theory Transformation rules Normal forms Diagrams
Logic navbar

v t e Common logical symbols
∧ or & and ∨ or ¬ or ~ not → implies ⊃ implies, superset ↔ or ≡ iff \| nand ∀ universal quantification ∃ existential quantification ⊤ true, tautology ⊥ false, contradiction ⊢ entails, proves ⊨ entails, therefore ∴ therefore ∵ because
Philosophy portal icon Mathematics portal

See also