Professional Documents
Culture Documents
Q:Itreferstoastatementsuchthatfirstpartassuresthatacertainobjectexistsand
isuniversalsinceitssecondpartsaysthatthequestionfulfillsaspecificpropertyfor
everythingofaspecifickind.
A:ExistentialUniversalStatement
Q:Itreferstoastatementthatisuniversalbecauseitsinitialpartsaysthatacertain
propertyistrueforallobjectsofagivensort,anditsexistentialbecauseitssecond
partassetsthepresenceofsomething.
A:UniversalExistentialStatement
Q:Twofunctionsaresaidtobeequalifandonlytheyhavethesamesetofordered pairs(x y)
A:EqualityofFunction
Q:ItreferstoanytwosetsdenotedbyAandBsuchthateveryelementofAisalso
anelementofB,thenAiscalledsubsetofB,writtenA ⊆B.
A:Subset
Q:ItreferstogivensetAandBdenotedbyAxBreadas"AcrossB"wherethesetof
orderedpairs(ab)whereaisinAandbisinB.
A:CartesianProduct
Q:WhentwoquantitiesXandYarerelatedsothatforsomerangeofvaluesofxthe
valueofyisdeterminedbythatofxthenwesaythatyisafunction(f)ofx.
A:Function
Q:Itreferstodenotingasetbyenumeratingallofitselementsbetweenbraces. A:Set-
RosterNotation
Q:Itreferstogivenelementaandb,thesymbol(a,b)denotedtheorderedpair
consistingofaandbnotingthataisthefirstelementofpairbisthesecondelement.
Anytwoorderedpairs(ab)and(cd)aresaidtobeequalifandonlyifa=candb=d.
A:OrderedPair
Q:Itreferstoastatementthatisbothuniversalandconditionalwhichcontainssome
variationofthewords"forall"andconditionalstatementscontainsversionofthe
words"if-then"
A:UniversalConditionalStatement