Interpretation Function

The interpretation function assigns values/meaning to the connectives by altering a true or false value from the Universe:

\mathcal{I}(\neg): \mathcal{D}_o \rightarrow \mathcal{D}_{\circ} ; \mathrm{T} \mapsto \mathrm{F}, \mathrm{F} \mapsto \mathrm{T} $$$$\mathcal{I}(\wedge): \mathcal{D}_o \times \mathcal{D}_o \rightarrow \mathcal{D}_o ;\langle\alpha, \beta\rangle \mapsto \mathrm{T}$$,iff $\alpha=\beta=\mathrm{T}$ A constructor is called a **logical constant** when its value is fixed by the interpretation. See [[Logical Equivalences]] for the other connectives.