请输入您要查询的英文单词:

 

单词 existential quantifier
释义

existential quantifier


noun Logic.

a quantifier indicating that the sentential function within its scope is true for at least one value of the variable included in the quantifier.
Also called particular quantifier.
Compare universal quantifier.

Origin of existential quantifier

First recorded in 1935–40

Words nearby existential quantifier

existence theorem, existent, existential, existentialism, existential psychology, existential quantifier, exit, exitance, exit poll, exit pupil, exit strategy
Dictionary.com UnabridgedBased on the Random House Unabridged Dictionary, © Random House, Inc. 2020

British Dictionary definitions for existential quantifier

existential quantifier

noun

logic a formal device, for which the conventional symbol is ∃, which indicates that the open sentence that follows is true of at least one member of the relevant universe of interpretation, as (∃ x) Fx meaning "something is (an) F," "something Fs," or "there are (some) Fs."
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012
随便看

 

英语词典包含192737条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/9/22 0:58:15