Definition:Quantified Statement

From ProofWiki
Jump to navigation Jump to search

Definition

A quantified statement is a simple statement in predicate logic whose subject is qualified by either the universal quantifier or the existential quantifier.

That is, it is either a universal statement or an existential statement.