Difference between revisions of "Template:Logic symbol templates"
Jump to navigation
Jump to search
Template documentation
imported>Daask (Change Category:Related-topic templates to more precise subcat Category:Documentation see also templates) |
imported>Daask (Remove from Category:Logic symbol templates - not described by this category; now transcluded on that page) |
||
| Line 68: | Line 68: | ||
*[[:Category:Logical connectives]] | *[[:Category:Logical connectives]] | ||
| − | |||
[[Category:Documentation see also templates]] | [[Category:Documentation see also templates]] | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Revision as of 22:34, 11 April 2018
| Template | Symbol/ result |
Term with wikilink |
|---|---|---|
| {{All}} | <math>\forall</math> | Universal quantifier |
| {{And}} | <math>\wedge</math> | Logical conjunction |
| {{Eqv}} | <math>\leftrightarrow</math> | Logical equivalence |
| {{Exist}} | <math>\exists</math> | Existential quantifier |
| {{False}} | <math>\bot</math> | False (logic) |
| {{Ident}} | <math>\equiv</math> | If and only if |
| {{Imp}} | <math>\to</math> | Material conditional |
| {{In}} | ∈ | Being an element |
| Template | Symbol/ result |
Term with wikilink |
|---|---|---|
| {{Models}} | Template:Models | Double turnstile |
| {{Nand}} | Template:Nand | Sheffer stroke |
| {{Nor-}} | Template:Nor- | Logical NOR |
| {{Not}} | Template:Not | Negation |
| {{Or-}} | Template:Or- | Logical disjunction |
| {{Tee}} | Template:Tee | Turnstile (symbol) |
| {{True}} | Template:True | Logical truth |
| {{Xor}} | Template:Xor | Exclusive disjunction |
Usage
This template is for listing items in the see also sections of the items listed, templates for logic symbols.
See also
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |