Category:Definitions/Truth Functions

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Truth Functions.
Related results can be found in Category:Truth Functions.


Let $\mathbb B$ be the Boolean domain $\set {\T, \F}$.

Let $k$ be a natural number.

A mapping $f: \mathbb B^k \to \mathbb B$ is called a truth function.