Category:Logical NOR
Jump to navigation
Jump to search
This category contains results about Logical NOR in the context of Propositional Logic.
Definitions specific to this category can be found in Definitions/Logical NOR.
NOR (that is, not or), is a binary connective, written symbolically as $p \downarrow q$, whose behaviour is as follows:
- $p \downarrow q$
is defined as:
- neither $p$ nor $q$ is true.
$p \downarrow q$ is voiced:
- $p$ nor $q$
Also see
Subcategories
This category has the following 3 subcategories, out of 3 total.
N
- NOR is Commutative (3 P)
- NOR is not Associative (3 P)
- NOR with Equal Arguments (3 P)
Pages in category "Logical NOR"
The following 8 pages are in this category, out of 8 total.