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

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

$v_i=v_j$ の $v_i$ と $v_j$ のそれぞれを $v_i=v_j$ における変数記号の出現 とよぶ。

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

$v_i\in v_j$ の $v_i$ と $v_j$ のそれぞれを $v_i\in v_j$ における変数記号の出現 とよぶ。