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

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

原始言語の否定論理式 $\neg\,\varphi$ に対して、

$\neg\,\varphi$ における変数記号の出現 を $\varphi$ における変数記号の出現 で定める。