述語論理トップページ→研究分野と周辺→記号論理→ 命題論理は例えば「AはBだ」という命題をp等の論理記号で表現し、それを要素命題として扱った。 述語論理（記述論理ともいう）は、その内部構造を明示するため、「AはBだ」といった述語を用いた命題を、述語記号と項（変数又は定数）で表現する。 日本語では「AのB」といった表現でよく表される、命題ではない複合概念は、関数記号で表現する。 また量化記号を使い、日本語の「全てのA」「或るA」といった概念を記号で表現出来るのも特長だ。量化記号を変数にのみ用いる述語論理を一階述語論理という。 命題論理の拡張なので、「否定」「連言」「選言」「含意」の論理記号も使用する。 量化記号を述語や関数にも用いる論理を二階以上の高階述語論理というが、論理的に完全ではないとされる。ここでは一階述語論理について述べる。 項と述語記号・関数記号 例えば「ソクラテス」をsという項で表現し
