全称否定命題(読み)ぜんしょうひていめいだい

精選版 日本国語大辞典 「全称否定命題」の意味・読み・例文・類語

ぜんしょう‐ひていめいだい【全称否定命題】

〘名〙 形式論理学で定言的命題うち主語のすべて(集合)が述語のすべてに含まれない命題。「すべての猫は魚ではない」の類。記号論理学では ‘(x)(Fx⊃-Gx)' の形式に記号化される。全称否定判断

出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報

今日のキーワード

脂質異常症治療薬

血液中の脂質(トリグリセリド、コレステロールなど)濃度が基準値の範囲内にない状態(脂質異常症)に対し用いられる薬剤。スタチン(HMG-CoA還元酵素阻害薬)、PCSK9阻害薬、MTP阻害薬、レジン(陰...

脂質異常症治療薬の用語解説を読む

コトバンク for iPhone

コトバンク for Android