Category:Definitions/Logical NOR

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Logical NOR.
Related results can be found in Category: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$