じゅつごろんり【述語論理】とは

じゅつごろんり【述語論理】とは｜一般用語

記号論理学で，命題の内部構造である主語と述語との関係を中心に分析する論理。