見出し語

logical quantifier

logical quantifier は「論理量化子」。

意味	論理量化子 a word or phrase that determines the quantity (such as all, some, many) in logic or mathematics
例文	The logical quantifier 'all' means every element is included. 論理量化子「すべて」はすべての要素が含まれることを意味する。 'Some' is a logical quantifier indicating at least one. 「いくつか」は少なくとも1つを示す論理量化子である。

意味	(logic) a word (such as ‘some’ or ‘all’ or ‘no’) that binds the variables in a logical proposition （論理学）論理命題において変項を束縛する語（「ある」「すべての」「いかなる〜も〜ない」など）
同義語	quantifier
上位語	word単語、語
下位語	existential operator存在演算子 existential quantifier存在量化子
分野	logic論理