Unformatted text preview: Eli Student Solutions Manual and Study Guide General Review Guide: Chapter 2 Quantiﬁed Statements I Whatissnredicste? (p. ‘l'ﬁj IWhatisthetrnthaetni‘apredieate? {it 13'?) I Whatiaauniversalstaternent, and whatisrequiredﬁnrsnehastatementtnbetrue? (p. it!)
I Whatiathemethndnfexhaustinn? (p. ts) I Whatisrequiredforaunivm'salstatementtnhefslee? 9.1M}
IWhatiaanendstentinlstatement,andwhatisrequiredﬁnrsnehestateinemttnhetrue? (p. I What is required for an existential statement to be false? (p. Eli) I What areaomewsqrstntranslstequantiﬁedatateniente ﬁnmfnnnal tninfnrmal language? I'll
Eli} I What aresnme wears tn translate quantiﬁed statements from infennal tn formal language? (pp.
3132) I What is a universal ennditlnrnal statement? (p. 31} I What is an equivalent way tn Write a universal conditional statement? (pp. 33)
I What are equivalent ways to write Existential statements? (1:. 3'3} I 1What dees it mean for a statement tn be quantiﬁed implicitly? (p. 33) II Whatde the nntatinnszarandﬁmean? {11. SJ} I What is the relation amnng if, 3. A, and v? fp. 91} I Whatdnesitmeanforanniversalstatementtnbevaennuslytrue? (p. 92,1 I Whatistheuﬂefmmterprethgastatanentthatmntainshethauniversalandaneidstentisl
quantiﬁer? (a. 99) I How are statements expressed in the computer ”amusing language Prulog? (p. 10".?) Negatinna: What are negatiens fer the ﬁnllnwing forms of statements? I Fin, {Has} (:1. 33} I 3:: such that (2(3) (p. 39) I the, if He] then 0(3) (p. 91) I Vs, 3y such that P(z,y} (p. 103)
e Eh: such that 'd'y. Play} {'19. Ill?) Variants of Conduituni Statements I What are the moment, inverse. and nontrapnsitive of a statement of the form We. if Hz)
then Qlal‘? (p. 93} I How are quantiﬁed statements involving namesary and auﬁieient nnnditinns and the phrase
onlyif translated intn ifthen form? {31.95) Validity and Invalidity I arm isuniverBsl instantiation? (p. 111) I What are the universal versions of undue panama. mndus tnllensr converse enter. and inverse error, and which of these farms of argument are valid and which are invalid? (pp. 112, 114,
113} I Hewisuniversalninduspnnensnsedinapmof? (p. 1‘13) ...
View
Full Document
 Fall '08
 Pawagi
 Computer Science

Click to edit the document details