指定命題（読み）していめいだい

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

〘名詞〙 論理学で、「すべての」または「ある」という量記号によって、命題の主語の外延が指定され、確定されている命題。たとえば、「すべての人は死ぬ」「すべての人は五本足ではない」という全称肯定および全称否定と、「ある犬は白い」「ある犬は白くない」という特称肯定および特称否定をさす。

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

宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...