The phrase "there exists an x such that'' is called an existential quantifier and is denoted by ∃x. A formula that contains variables is not simply true or ...
確定! 回上一頁