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

精選版 日本国語大辞典

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

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

出典　精選版 日本国語大辞典