最初のページ
戻る
次へ
最後のページ
画像
定義:式
アトムは式である
Φを式とする ¬Φは式である
Φ1,Φ2を式とする Φ1∧Φ2,Φ1∨Φ2は式である
Φ(u):ドメイン変数uを含む式
(∃u)Φ(u),(∀u)Φ(u)は式である