Download Untitled

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
16
(HAPTER1 logic and Proofs
(h)
(i)
).
The fish bite only when the moon is full,
A time of 3 minutes, 48 secondsor less is necessaryto qualify for the
Olympic team.
Write the converseandcontrapositiveof eachconditionalsentencein Exercise1.
3. What can be said about the truth value of Q when
(a ) P i sfal seandP * Q i strue? (b) P i strueandP * Qi st r ue?
(c ) P i strueandP + Q i sfal se? (d) P i sfal seandP + ) Qi st r ue?
(e) P is true and P €f Q is false?
4. Identify the antecedentand consequentfor each conditional sentencein the
following statementsfrom this book.
(a) Theorem1.3.1(a)
(b) Exercise3 of Section1.6
(c) Theorem2.1.4
(d) ThePMI, Section2.4
(e) Theorem2.6.4
(0 Theorem3.4.2
(g) Theorem4.2.2
(h) Theorem5.1.7(a)
*
Which of the following conditional sentencesare true?
(a) Iftriangles have three sides,then squareshave four sides.
(b) If a hexagon has six sides,then the moon is made of cheese.
(c ) It7 + 6:14,then5 * 5:10.
(d ) If 5 < 2,then 10 < 7.
(e) If one interior angle of a right triangle is 92", then the other interior
angleis 88o.
(f) If Euclid's birtLday was April 2, then rectangleshave four sides.
(g) 5 is prime if 42 is not irrational.
(h ) 1 + 1:2i ssuffi ci entfor3 > 6.
6. Which of the following are true?
* (a) Triangles have three sidesiff squareshave four sides.
(b )
(c)
(d)
(e )
(f)
(g)
(h)
(i)
0)
(k )
",7-i
;
7 + 5:12i ff
I1-l :2.
b is even iff b + I is odd. (Assume that b is some fixed integer.)
n is odd iff m2 is odd. (Assume that m is some fixed integer.)
5* 6:6+ 5i ff7* l :10.
A parallelogramhas three sidesiff 27 is prime.
The Eiffel Tower is in Paris if and only if the chemical symbol for
helium is H.
.
"/ro+ Jn Ji + Jnn JB Jn.. Jn - ho.
xz > O iff -r > 0. (Assume that x is a fixed real number.)
*2 - y': 0 iff (x - y)(x * y) : 0. (Assume that .r and y are fixed real
numbers.)
(x-ty)2:50. (A ssumethat x and y are fixed r eal
xz+ y2:50i ff
numbers.)
Make truth tablesfor thesepropositional forms.
(a) P+(QnP).
(c) -Q+ (Q e P).
(e) (PnQ)v(Q^R)=+PvR.
* (b) (-P + e)v (e <+p).
- ( d) ( PvQ) + e^Q) .
(f) l( Q+ s) ( 0 + R) l+ te v Q)+ ( s v R) 1.
^
andBiconditionals
1.2 Gonditionals
17
truth tables for each equivalence'
8. Prove Theorem I.2.2by constructing
g, Determine whether each statementqualifies as a definition'
(a) y'y : f (x)is a linearfunctionwhenits qranhfsa totgl:llT
an x- term'
: (x) is a quadratic function when it contarns
'm f
integer n'
is apetfect'iquare when m , n2 fyr some
two of its interior angles
of
sum
the
when
A triangle it iigttt ttl"ngle
"
is 90'.
the samenumber'
(e) Two lines are parallel when their slopesare
time'
measuring
(fi
A sundial is an instrument for
logical connectives.Assume
each of the following sentencesusing
,rfi,
^'"' R"rrite
fixed object'
';
symbol/, xo, n, x,S' B representssome
,rt"i
"""rt
* (a )Ifl h a s u ," l u ti u " m i n i mumatxsandi f/i sdi fferenti abl eat' x0' then
iU
i"t
(d)
//(x6) : 0'
if n is prime, then n :2 or zris odd'
and not rational wheneverx is irrational'
A numberu is
'eul
1,
then l x | : 1'
If x : 1 o t x :
xs\ff f '(xs): 0 or/'(xs) doesnot exist'
/has a critical point at
S is compact iff S is closed and bounded'
condition for det B + O'
B is invertible is a necessaryand sufficient
4or n> I0'
i rtl 6 > -n - 3 o n l Yif n>
convergent'
is
x
(i) r is Cauchy implies
whenever
x6
f (x) : f (x$'
0) /is continuous at
,l$
at rs, then/'(.ro) > 0.
(k) If/is difl.erentiablear xe and/is strictty increasing
** (b)
(c)
* (d )
* i"j
(f)
(g)
ll.Dictionariesindicatethattheconditionalmeaningofunlessispreferred,but
thereareotherinterpretationsaSaconverseorabiconditional.Discussthe
translation of each sentence'
(a) I will go to the store unlessit is raining'
* (b )T h e D o l p h i n s w i l l n otmakethepl ayoffsunl esstheB earsw i nal l therest
of their games'
your homework first'
(c) You cannot go to the game unlessyou do
unlessyou buy a ticket'
idl You won't win the lottery
are equivalent'
Show that the following pairs of statements
fD
\-/*-(a)
(P v 0) + R and -R J (-P r'-Q)'
* inl e rQ)+Ran d (P n -R)+ -Q '
P + (Qn R) and(-Qv -R) + -P'
-- i.)
(P
(d ) P+ (Qv R )a n d
^-R )+ Q'
e + Q)i R a n d (P n-Q)vR '
P )'
v Q)^eQv
P e Qa n d (-P
sentencefor which
conditional
true
a
13. Give, if possible,an example
^ of
is false'
converse
(b)
the
* (a) the converseis true'
is true'
contrapositive
(d)
the
* (c) the contrafositive is false'
for
false conditional sentence which
14. Give, if possible, an example of a
(b) the converseis.false'
(a) the converseis true'
(d) the contrapositiveis true'
false'
(c) the contrapositiveis
G)
(f)
l8
CHAPTER
I Logicand proofs
15' Give the converseand contrapositive
ofeach sentenceofExercises 10(a),(b),
(c), and (d). Tell whether each
converse and contrapositive is true
or f-alse.
\ 16' Determine whethereachof the following
is a tautology, a confradiction, or neither.
*
(a ) [ (P = + e )+ 4 a p .
F
(b) P + + pn(P vQ).
(c )
* (d)
(e)
(f )
(g)
(h )
(i)
P + e e p n -e .
P =+[p =+ (p + e)1.
P n (Qv -e) ++ p.
t Q ^ e + e )l= + p .
(P +) g ++
-(-p v e)v (-p q.
^ p )1 .
t P+ (Q v R)l = +le + ilv (R+
p n (p e e )n _ e .
CI ) e v e ) + e + p .
(k ) t P + (e ^ R)l+
t R= +(p + Dl
(l) t P + (e ^ R)l + R+ (p
*A'.'
17. The inverse, or opposite, of the
conditionalsentencep =+
eis _p + _e.
(a) Show that p +
e and its inverse are not equivalent forms.
(b) For what values ofthe propositions p
and e arep ) e andits inverse
both true?
(c) which is equivalent to the
converseof a conditional sentence,
the con_
trapositiveofits inverse,or the inverse
ofits contrapositiufi
1 .3
Quantifiers
unless therehasbeena prior agreement
about the value of x, the statement.? >
3,,is
neithertrue nor false.A sentencethat
containsvanablesis cailed an open
sentenceor
predicate' andbecomesa-proposition
only whenits variablesareassigned
specificval_
ues.For example,"x > 3" is true when
, i, gl"* the value 7 and false when
x:2,
when P is an open sentencewith a
variable x,.the sentenceis symbolized
by
P("r). Likewise,if p hasvariablesxI,
x2,x3,. . .-,*r, m"sentencemay be
denotedby
P (x1, x2, x3,. . . , xn). For example,for
the sentence,,x * ! : 32,,we-wite p (x,
y, z),
andwe seethatP(4,5,3) is truebecause
4 + 5 :3(3), while p(1,2,4) is false.
The collectionof objecrsrharmay
be substituredro make ;;";
sentencea
true proposition is cailed the truth
set of the sentence.Before a truth
set can be
determined,we must be given or must
decidewhat objectsare availablefbr
consid_
eration;that is, we must have specifiea
u u.rro".re of discourse.In many cases
the
universewill be understoodfrom the
context. Fo. u ,"nr"n"e such as ._rlikes
choco_
late"' the universeis presumablythe
set of all people. we will often use the
number
systemsN, Z, Q, R, and C as our universes.
(Seethe preface to the Student.)
Exanrpfe' The truth set ofthe open
sentence"x2 < 5,, dependsupon the
corection
of objectswe choosefor the universe
of discourse.with the universespecified
asthe
set N, the truth set is { 1, 2}. For the
uniuJrr"-2, the truth set is _2, _1,
0,
{
1,2J.
When the universeis R, the truth set
is rhe openint".uul f_ E,"Bi.'
Related documents