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

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

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

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

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

関連語 名詞

昆虫綱半翅目(はんしもく)同翅亜目セミ科Cicadidaeの昆虫。体長は雄32~39ミリメートル、雌23~28ミリメートル。体は黒色で、茶色や緑色の斑紋(はんもん)がある。雄の腹部は大きく、空洞で、発...

ヒグラシの用語解説を読む