n. 【論理】述語論理《論理学の一分野で, 命題論理を含み, さらに命題の内部構造を個体記号と述語に分けて量化詞の働きに依存する推理形式を探究する; quantificatio

複数辞典一括検索+

n. 【論理】述語論理《論理学の一分野で, 命題論理を含み, さらに命題の内部構造を個体記号と述語に分けて量化詞の働きに依存する推理形式を探究する; quantificatio🔗⭐🔉

n. 【論理】述語論理《論理学の一分野で, 命題論理を含み, さらに命題の内部構造を個体記号と述語に分けて量化詞の働きに依存する推理形式を探究する; quantification theory ともいう》. prdicate nminative

研究社新英和大辞典ページ 213974 での【論理】単語。