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

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

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

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

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

関連語 名詞

[名](スル)二つ以上のものが並び立つこと。「立候補者が―する」「―政権」[類語]両立・併存・同居・共存・並立・鼎立ていりつ...

連立の用語解説を読む