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

精選版 日本国語大辞典

してい‐めいだい【指定命題】

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

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