Universal Quantifier Examples Let the universe be the natural numbers for this quantifier example. {eq}(\forall x)(2x+1 \text{ is an odd number}) {/eq} would read as "for all x, 2x + 1 is an odd number. Our universe is all natural numbers, so we could also read this as "for...
DiscreteMathematicsandItsApplications 5/40 Predicatelogic/calculus •Predicates(谓词) –Apredicateisastatementinvolvingindividualvariables (variablesforshort) –Examples •“x>3” •“x=y+3” •“x+y=z” •“Computerxisunderattackbyanintruder” ...