>>789
？（＾＾；

https://ja.wikipedia.org/wiki/%E5%85%A8%E7%A7%B0%E5%91%BD%E9%A1%8C
全称命題
全称命題（ぜんしょうめいだい、英：universal proposition）とは、一つの集合を構成する全ての項について、ある性質を肯定する命題である。
例えば、「全ての犬はいずれ死ぬ」という命題と「全ての牛は空を飛ぶ」という命題はどちらも全称命題であり、前者は真であり後者は偽である。全称命題は、存在命題の否定と論理的に等値である。
それゆえ、「全ての牛は空を飛ぶ」という命題を主張することは、「少なくとも一頭は空を飛べない牛がいる」という命題を否定することと等値である。
ただし、ヒューム的な因果に関する懐疑論の線に従えば、真となる全称命題は唯一、アプリオリに存在し定義から導き出される種類の命題（「全ての犬は哺乳類である」など）に限られる。
アポステリオリに、すなわち世界についての経験から導き出される命題（「全ての犬は4本足をもって生まれてくる」など）は決して真として確証されることはなく、差し当たり真とされている（反証可能である）、というものである。

https://wiis.info/math/logic/predicate-logic/quantifier-and-negation/
WIIS 量化記号と否定 更新日：2019年10月14日 公開日： 2019年1月1日
要旨
全称命題の否定は否定の存在命題と同値であり、存在命題の否定は否定の全称命題と同値です。
量化記号と否定
量化記号∀,∃と否定¬の間には以下の関係が成り立ちます。

命題（量化記号の否定）
任意の論理式Aと変数x∈Xに対して以下が成り立つ。
(a) ¬(∀x∈X A) ⇔ ∃x∈X ¬A
(b) ¬(∃x∈X A) ⇔ ∀x∈X ¬A
証明を見る（プレミアム会員限定）
(a)は、全称命題の否定は否定の存在命題と同値であること、
(b)は、存在命題の否定は否定の全称命題と同値であること
をそれぞれ表しています。