述語論理の記号

述語論理の記号は命題論理のそれを含み限定記号 $\forall,\exists$ などが使用される。以下にそれを挙げる。

1. 論理記号
   　
   1. $\lnot$ 「...でない」
   2. $\vee$「...または...」と $\wedge$「...かつ...」
   3. $\Rightarrow$「...ならば...」 　　
   4. $\forall$ 「すべての...について...」「任意の...について...」 　　
   5. $\exists$ 「ある...が存在して...」
2. 補助的な記号
   　
   1. 括弧 $( \ ),\ \{ \ \}$
      　　
   2. メタ記号 ${\cal P},{\cal Q},etc.$