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

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

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

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

宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、和歌山県串本町の民間発射場「スペースポート紀伊」から打ち上げる。同社は契約から打ち上げまでの期間で世界最短を目指すとし、将来的には...