Definition:Basic Proposition

Definition
Let $f: \mathbb B^k \to \mathbb B$ be a boolean function, where:
 * $\mathbb B = \set {0, 1}$ is a boolean domain
 * $k$ is a natural number.

A basic proposition is one of the projection functions $\pr_j: \mathbb B^k \to \mathbb B$, defined as follows:

Let $X = \tuple {p_1, p_2, \ldots, p_k} \in \mathbb B^k$.

Then:
 * $\map {\pr_j} X = p_j$

That is, a basic proposition is one of the elements of the $k$-tuple $\tuple {p_1, p_2, \ldots, p_k}$.

Also see

 * Literal, which is the same thing from the perspective of propositional logic.