最初のページ
戻る
次へ
最後のページ
画像
定義:式
アトムは式である
Φを式とする ¬Φは式である
Φ1,Φ2を式とする Φ1∧Φ2,Φ1∨Φ2は式である
Φ(u):タプル変数uを含む式
(∃u)Φ(u),(∀u)Φ(u)は式である
アトム中に現れるタプル変数は自由である
Φで自由なタプル変数は、¬Φでも自由である
Φ1,Φ2で自由なタプル変数はΦ1∧Φ2,Φ1∨Φ2でも自由である
(∃u)Φ(u),(∀u)Φ(u)においてuは束縛変数である