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

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

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

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

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

関連語 名詞

機械メーカー。トヨタグループの総本家で,繊維機械のほかトヨタ自動車からの小型商用車の受託生産,エンジンその他の自動車部品,フォークリフトなどの産業用車両の生産も行なう。1926年豊田佐吉が,みずから発...

豊田自動織機の用語解説を読む