Definition:Ampheck
From ProofWiki
Definition
The ampheck is either one of the symbols devised by Charles Sanders Peirce to denote the logical connectives:
- Logical Nor: $p \curlywedge q$: $p$ nor $q$
- Logical Nand: $p \bar \curlywedge q$: $p$ nand $q$
The word ampheck comes from the Greek $\alpha \mu \phi \eta \kappa \eta \varsigma$ meaning double-edged.
