Functionally Incomplete Logical Connectives

From ProofWiki
Jump to navigation Jump to search

Theorem

These sets of logical connectives are not functionally complete.


Conjunction and Disjunction

$\set {\land, \lor}$: And and Or


Negation and Biconditional

$\set {\neg, \iff}$: Not and Iff


Also see

Retrieved from "https://proofwiki.org/w/index.php?title=Functionally_Incomplete_Logical_Connectives&oldid=181103"