述語論理 Predicate Logic じゅつごろんり 出題なし 🟠 重要 テクノロジ系 基礎理論 意味・解説 個体間の関係や性質を「述語」で表し、全称記号（∀）や存在記号（∃）を用いて分析する記号論理。 📖 詳しい解説・覚え方のコツ・試験対策・例文はアプリで アプリで詳しく学ぶ 同義語: 述語計算, 一階述語論理 分類: 記号論理学 関連用語命題論理 量化子 リレーショナル代数 Prolog