3/21/2016
Week1Homework
WebAssign
Week1Homework(Homework)
CurrentScore:/30
JeremyUrias
MAT311,section001,Winter2016
Instructor:JULIEROGERS
Due:Monday,January11201609:00AMEST
[Link],butnochangescanbemade.
1. /3pointsHunterDM21.1.002a.
Letthefollowingstatementsbegiven.
p = "YouareinSeoul."
q = "YouareinKwangju."
r = "YouareinSouthKorea."
Translatethefollowingstatementintosymbolsofformallogic.
IfyouarenotinSouthKorea,thenyouarenotinSeoulorKwangju.
r(pq)
r(pq)
r(pq)
r(pq)
pq
[Link]
1/7
3/21/2016
Week1Homework
2. /3pointsHunterDM21.1.010a.
Usetruthtablestoestablishthefollowingequivalence.
Showthat
(pq) islogicallyequivalentto pq. ThisequivalenceisoneofDeMorgan's
laws,afterthenineteenthcenturylogicianAugustusDeMorgan.
p q
T T
T F
F T
F F
pq
(pq)
pq
(No
(No
(No
(No
(No
Response)
Response)
Response)
Response)
Response)
(No
(No
(No
(No
(No
Response)
Response)
Response)
Response)
Response)
(No
(No
(No
(No
(No
Response)
Response)
Response)
Response)
Response)
(No
(No
(No
(No
(No
Response)
Response)
Response)
Response)
T
Response)
T
3. /3pointsHunterDM21.3.006b.
Thedomainofthefollowingpredicatesisthesetofallplants.
P(x) = "xispoisonous."
Q(x) = "Jeffhaseatenx."
Translatethefollowingstatementintopredicatelogic.
Jeffhasnevereatenapoisonousplant.
(x)(Q(x)P(x))
(x)(P(x)Q(x))
(x)(P(x)Q(x))
(x)(Q(x)P(x))
(x)(P(x)Q(x))
[Link]
2/7
3/21/2016
Week1Homework
4. /3pointsHunterDM21.2.008.
Whichderivationrulejustifiesthefollowingargument?
Ifnisamultipleof4,[Link],[Link],nisnota
multipleof4.
doublenegation
DeMorgan'sLaws
modusponens
simplification
modustollens
5. /3pointsHunterDM21.2.018.
[Link]
resultofExample1.8.
(ab)
a
b
(NoResponse)
Key:Statements,Reasons
1.(ab),given
2.b,given
[Link],DeMorgan'slaws,1
[Link],doublenegation,3
[Link],commutativity,4
6.a,Example1.8,5,2
Thisanswerhasnotbeengradedyet.
[Link]
3/7
3/21/2016
Week1Homework
6. /3pointsHunterDM21.2.024.
Useatruthtabletoshowthat
pq
isnotatautology.(Thisexampleshowsthatsubstitutionisn'tvalidforinferencerules,ingeneral.
Substitutingtheweakerstatement,q,forthestrongerstatement,p,intheexpression"p"
doesn'twork.)
p q
T T
T F
F T
F F
pq
(pq)p
(No
(No
(No
Response)
Response)
Response)
(No
(No
(No
Response)
Response)
Response)
(No
(No
(No
Response)
Response)
Response)
(No
(No
(No
Response)
T
Response)
T
[Link]
Response)
T
((pq)p)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
4/7
3/21/2016
Week1Homework
7. /3pointsHunterDM21.1.026.
[Link],considerthe
statement S=(pq)(pq).
(a)ConstructatruthtableforS.
pq
pq
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
p q
T T
T F
F T
F F
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(NoResponse)
(b)FindasimplerexpressionthatislogicallyequivalenttoS.
(pq)
pq
q
p
(pq)
[Link]
5/7
3/21/2016
Week1Homework
8. /3pointsHunterDM21.3.022aiii.
[Link].
F(x) = "xisfast."
S(x) = "xisasportscar."
E(x) = "xisexpensive."
A(x,y) = "xissaferthany."
Writethefollowingstatementinpredicatelogic.
Everyfastsportscarisexpensive.
(x)((F(x)S(x))E(x))
(x)((E(x)S(x))F(x))
(x)((E(x)S(x))F(x))
(x)((F(x)S(x))E(x))
(x)(F(x)S(x))
9. /3pointsHunterDM21.3.004a.
[Link].
L(x) = "xisalion."
F(x) = "xisfuzzy."
Translatethefollowingstatementintopredicatelogic.
Alllionsarefuzzy.
(x)(L(x)F(x))
(x)(L(x)F(x))
(x)(F(x)L(x))
(x)(L(x)F(x))
(x)(F(x)L(x))
[Link]
6/7
3/21/2016
Week1Homework
10./3pointsHunterDM21.3.002d.
Inthedomainofallpenguins,letD(x)bethepredicate"xisdangerous."Translatethefollowing
quantifiedstatementintosimple,everydayEnglish.
(x)D(x)
Somepenguinsarenotdangerous.
Allpenguinsaredangerous.
Nopenguinsaredangerous.
Somepenguinsaredangerouswhileotherpenguinsarenotdangerous.
Somepenguinsaredangerous.
[Link]
7/7
