Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions
Content deleted Content added
Line 37: | Line 37: | ||
| {{eqv}} |
| {{eqv}} |
||
|- |
|- |
||
| NOR |
| NEITHER NOR |
||
| NOR |
| NOR |
||
| {{nor-}} |
| {{nor-}} |
||
| {{nor-}} |
| {{nor-}} |
||
|- |
|||
| EXCLUSIVE DISJUNCTION |
| EXCLUSIVE DISJUNCTION |
||
| XOR |
| XOR |
Revision as of 00:19, 23 August 2007
Symbols
For consistency use the following preferred symbols in Logic articles:-
Truth Functional Connectives
Connective | Name | Symbol | Preferred Symbol(s) |
---|---|---|---|
NEGATION | NOT | ¬ or ~ or | ~ or |
CONJUNCTION | AND | or & | |
INCLUSIVE DISJUNCTION | OR | ||
MATERIAL IMPLICATION | IMPLIES | , or or | |
MATERIAL EQUIVALENCE | EQV | or | |
NEITHER NOR | NOR | ||
EXCLUSIVE DISJUNCTION | XOR |
--Philogo 13:13, 16 August 2007 (UTC)
Quantifiers
Quantifier | Description | Symbols | Preferred Symbol |
---|---|---|---|
Universal | For every x | (x) or x | x |
Existential | There exists an x | x | x |
--Philogo 12:55, 17 August 2007 (UTC)