Scribd Logo
Upload

Welcome to Scribd!

  • 103 views

    Week 1 Homework

    Uploaded by

    Sajjad Rizvi
    This document is a homework assignment from an introductory logic course on WebAssign. It contains 10 multiple choice questions related to translating statements between English and formal logic using predicates, quantifiers, and other logical concepts. The assignment is past due and shows the student's responses, which are mostly incorrect or incomplete. It provides the questions, possible answer choices, and in some cases the student's reasoning in a truth table or formal proof.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Week 1 Homework

    Uploaded by

    Sajjad Rizvi
    103 views7 pages
    This document is a homework assignment from an introductory logic course on WebAssign. It contains 10 multiple choice questions related to translating statements between English and formal logic using predicates, quantifiers, and other logical concepts. The assignment is past due and shows the student's responses, which are mostly incorrect or incomplete. It provides the questions, possible answer choices, and in some cases the student's reasoning in a truth table or formal proof.

    Original Description:

    Discrete maths

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document is a homework assignment from an introductory logic course on WebAssign. It contains 10 multiple choice questions related to translating statements between English and formal logic using predicates, quantifiers, and other logical concepts. The assignment is past due and shows the student's responses, which are mostly incorrect or incomplete. It provides the questions, possible answer choices, and in some cases the student's reasoning in a truth table or formal proof.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    103 views7 pages

    Week 1 Homework

    Uploaded by

    Sajjad Rizvi
    This document is a homework assignment from an introductory logic course on WebAssign. It contains 10 multiple choice questions related to translating statements between English and formal logic using predicates, quantifiers, and other logical concepts. The assignment is past due and shows the student's responses, which are mostly incorrect or incomplete. It provides the questions, possible answer choices, and in some cases the student's reasoning in a truth table or formal proof.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 7

    3/21/2016

    Week1Homework

    WebAssign
    Week1Homework(Homework)
    CurrentScore:/30

    JeremyUrias
    MAT311,section001,Winter2016
    Instructor:JULIEROGERS

    Due:Monday,January11201609:00AMEST

    Theduedateforthisassignmentispast.Yourworkcanbeviewedbelow,butnochangescanbemade.

    1. /3pointsHunterDM21.1.002a.

    Letthefollowingstatementsbegiven.
    p = "YouareinSeoul."
    q = "YouareinKwangju."
    r = "YouareinSouthKorea."
    Translatethefollowingstatementintosymbolsofformallogic.
    IfyouarenotinSouthKorea,thenyouarenotinSeoulorKwangju.
    r(pq)
    r(pq)

    r(pq)

    r(pq)
    pq

    https://www.webassign.net/web/Student/AssignmentResponses/last?dep=12940273

    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))

    https://www.webassign.net/web/Student/AssignmentResponses/last?dep=12940273

    2/7

    3/21/2016

    Week1Homework

    4. /3pointsHunterDM21.2.008.

    Whichderivationrulejustifiesthefollowingargument?
    Ifnisamultipleof4,thenniseven.However,nisnoteven.Therefore,nisnota
    multipleof4.
    doublenegation
    DeMorgan'sLaws
    modusponens
    simplification
    modustollens

    5. /3pointsHunterDM21.2.018.

    Writeaproofsequenceforthefollowingassertion.Justifyoneofthestepsinyourproofusingthe
    resultofExample1.8.

    (ab)
    a
    b
    (NoResponse)
    Key:Statements,Reasons
    1.(ab),given
    2.b,given
    3.ab,DeMorgan'slaws,1
    4.ab,doublenegation,3
    5.ba,commutativity,4
    6.a,Example1.8,5,2
    Thisanswerhasnotbeengradedyet.

    https://www.webassign.net/web/Student/AssignmentResponses/last?dep=12940273

    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

    https://www.webassign.net/web/Student/AssignmentResponses/last?dep=12940273

    Response)
    T

    ((pq)p)

    (NoResponse)

    (NoResponse)

    (NoResponse)

    (NoResponse)

    (NoResponse)

    (NoResponse)

    (NoResponse)

    (NoResponse)

    4/7

    3/21/2016

    Week1Homework

    7. /3pointsHunterDM21.1.026.

    Oftenacomplicatedexpressioninformallogiccanbesimplified.Forexample,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)

    https://www.webassign.net/web/Student/AssignmentResponses/last?dep=12940273

    5/7

    3/21/2016

    Week1Homework

    8. /3pointsHunterDM21.3.022aiii.

    Letthefollowingpredicatesbegiven.Thedomainisallcars.
    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.

    Letthefollowingpredicatesbegiven.Thedomainisallmammals.
    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))

    https://www.webassign.net/web/Student/AssignmentResponses/last?dep=12940273

    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.

    https://www.webassign.net/web/Student/AssignmentResponses/last?dep=12940273

    7/7

    You might also like