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

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

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

〘名〙 形式論理学で定言的命題うち主語のすべて(集合)が述語のすべてに含まれる命題。「すべての鳥は羽をもつ」の類。記号論理学では ‘(x)(Fx⊃Gx)' の形式に記号化される。全称肯定判断

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