最初のページ 戻る 次へ 最後のページ 画像

定義:式

アトム中に現れるタプル変数は自由である

Φで自由なタプル変数は、¬Φでも自由である

Φ1,Φ2で自由なタプル変数はΦ1∧Φ2,Φ1∨Φ2でも自由である