Category:Logical NOR

From ProofWiki
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$