含意論理ろんり式における自由な出現

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

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

$\varphi\to\psi$ における自由な出現 を $\varphi$ における自由な出現 と $\psi$ における自由な出現 で定める。

ただし、$\varphi\to\psi$ における自由な出現 において、$\varphi$ における自由な出現 と $\psi$ における自由な出現 は区別する。