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

原始言語の原子論理式 $v_i=v_j$ に対して、

$v_i=v_j$ における 変数記号の出現 を $v_i=v_j$ における自由な出現 とよぶ。

原始言語の原子論理式 $v_i\in v_j$ に対して、

$v_i\in v_j$ における 変数記号の出現 を $v_i\in v_j$ における自由な出現 とよぶ。