述語論理の基本的記号化規則

述語論理において、特定の対象に性質を帰する文は「Fa」、対象間の関係を表す文は「Fab」、複数の性質の同時主張は連言「∧」、条件構造は含意「→」で記号化される。

「∧」は「かつ」、「→」は「ならば」、「∀x」は「どんな対象xであれ」を表す。