真偽値の領域

一階命題論理などの論理体系においては，真偽に相当する概念として，\[D_{t} \overset{\mathrm{def}}{\equiv} \{0,1\}\]と定義される集合 $D_{t}$ を用います．

Mathematics is the language with which God has written the universe.