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

原子論理式における変数記号の出現

否定論理式における変数記号の出現

含意論理式における変数記号の出現

全称論理式における変数記号の出現

を 原始言語の論理式における変数記号の出現 とよぶ。