原始言語の論理ろんり式

$i$ を $1,2,\ldots$ のいずれかとする。

原子論理式 を 原始言語の論理式 とよぶ。

変数記号 $\,v_1,v_2,\ldots$ と 原始言語の論理式 $\,\varphi,\psi$ に対して、

$\neg\,\varphi$ $\varphi\to\psi$ $\forall v_i\,\varphi$ も 原始言語の論理式 とよぶ。