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

原子論理式における自由な出現

否定論理式における自由な出現

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

全称論理式における自由な出現

を 原始言語の論理式における自由な出現 とよぶ。