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

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

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

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

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

関連語 名詞

春になって暖かくなりかけた頃、急に寒さが戻って、地面などがまた凍りつく。《 季語・春 》[初出の実例]「七瀬御秡 同晦日也。〈略〉雪汁いてかへる」(出典:俳諧・誹諧初学抄(1641)初春)...

凍返るの用語解説を読む