述語論理じゅつごろんり

文を関数と項の構造で分析し、「すべての」「ある」という量化子で一般性と存在を扱う論理体系で、現代の数理論理学と計算機科学の共通基盤である。その記法と構造をほぼ完成形で最初に示したのが、フレーゲの『概念記法』だった。