含意論理ろんり式における変数記号へんすうきごうの出現

$\varphi,\psi$ を 原始言語の論理式 とする。

原始言語の含意論理式 $\varphi\to\psi$ に対して、

$\varphi\to\psi$ における変数記号の出現 を $\varphi$ における変数記号の出現 と $\psi$ における変数記号の出現 で定める。

ただし、$\varphi\to\psi$ における変数記号の出現 において、$\varphi$ における変数記号の出現 と $\psi$ における変数記号の出現 は区別する。