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 |