This template displays a symbol for logical conjunction. It is not to be confused with {{If both}}, a meta-template which performs the operation of logical conjunction!
Template | Symbol/ result |
Term with wikilink |
---|---|---|
{{All}} | Universal quantifier | |
{{And}} | Logical conjunction | |
{{Eqv}} | Logical equivalence | |
{{Exist}} | Existential quantifier | |
{{False}} | False (logic) | |
{{Ident}} | If and only if | |
{{Imp}} | Material conditional | |
{{In}} | Being an element |
Template | Symbol/ result |
Term with wikilink |
---|---|---|
{{Models}} | Double turnstile | |
{{Nand}} | Sheffer stroke | |
{{Nor-}} | Logical NOR | |
{{Not}} | Negation | |
{{Or-}} | Logical disjunction | |
{{Tee}} | Turnstile (symbol) | |
{{True}} | Logical truth | |
{{Xor}} | Exclusive disjunction |