Results 1 to 3 of 3

Math Help - Coursework help

  1. #1
    Newbie
    Joined
    Oct 2010
    Posts
    2

    Coursework help

    Hi, i've just started a degree in Computer Science and have a discrete math assignment to hand in tommorow. Could anyone please help?

    (I'm not asking you to do it for me but explain how to do it or show me how to do 1 part in each question?)


    These are the questions

    1. Explain the difference between the following three offers, by analysing their logical form:

    a) You can watch TV if you tidy your room
    b) You can watch TV only if you tidy your room
    c) You can watch TV if, and only if, you tidy your room

    Which offer should a logical parent make to their children?

    2. Construct the truth tables of the following compound formulas:
    i) P => Q v R
    ii) (P v Q) ^ (P => Q)

    3. Use truth tables to show that the following formulas are always true:
    i) P ^ Q <=> Q ^ P
    ii) P ^ (Q v R) <=> (P ^ Q) v (P ^ R)
    iii) (P v Q) <=> P ^ Q

    4. An enormous amount of loot has been stolen from a store. The criminal (or criminals) took the hesit away in the car. Three well known criminals A, B and C were brought to Scotland Yard for questioning. The following facts were ascertained:

    a) No one other than A, B and C was involved in the robbery
    b) C never pulls a job without using A (and possible others) as an accomplice
    c) B does not know how to drive

    Is A innocent or quilty?

    [Hint: A way to answer this question is to rewrite the recorded facts using propositional logic, with basic statements of the form A is guilty, B is guilty, C is guilty, respectively. The next step wuld be to write down the truth tables for the formulas obtained. Keeping in mind that formulas representing facts are always true, you will then be able to deduce an answer tot he question.}
    Last edited by Jhevon; October 26th 2010 at 06:51 PM. Reason: restored deleted problem
    Follow Math Help Forum on Facebook and Google+

  2. #2
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by sahil View Post
    Hi, i've just started a degree in Computer Science and have a discrete math assignment to hand in tommorow. Could anyone please help?

    (I'm not asking you to do it for me but explain how to do it or show me how to do 1 part in each question?)


    These are the questions

    1. Explain the difference between the following three offers, by analysing their logical form:

    a) You can watch TV if you tidy your room
    b) You can watch TV only if you tidy your room
    c) You can watch TV if, and only if, you tidy your room

    Which offer should a logical parent make to their children?
    Note that P => Q is true even if P is false. Also note that the implication is only false is P is true, but Q is false.


    2. Construct the truth tables of the following compound formulas:
    i) P => Q v R
    ii) (P v Q) ^ (P => Q)
    what trouble are you having doing truth tables? the first table should look like this:
    \displaystyle \begin{array}{|c|c|c|c|c|} <br /> <br />
\hline \bold P & \bold Q & \bold R & \bold Q \vee \bold R & \bold P \implies (\bold Q \vee \bold R) \\<br /> <br />
\hline T & T & T & & \\<br />
\hline T & T & F & & \\<br />
\hline T & F & T & & \\<br />
\hline T & F & F & & \\<br />
\hline F & T & T & & \\<br />
\hline F & T & F & & \\<br />
\hline F & F & T & & \\<br />
\hline F & F & F & & \\<br />
\hline<br /> <br />
\end{array}

    the second should look like this:

    \displaystyle \begin{array}{|c|c|c|c|c|c|} <br /> <br />
\hline \bold P & \bold Q & \bold R & \bold P \vee \bold Q & \bold P \implies \bold Q & (\bold P \vee \bold Q) \wedge (\bold P \implies \bold Q) \\<br /> <br />
\hline T & T & T & & & \\<br />
\hline T & T & F & & & \\<br />
\hline T & F & T & & & \\<br />
\hline T & F & F & & & \\<br />
\hline F & T & T & & & \\<br />
\hline F & T & F & & & \\<br />
\hline F & F & T & & & \\<br />
\hline F & F & F & & & \\<br />
\hline<br /> <br />
\end{array}

    Now fill out the tables based on the rules you know for each logical expression

    3. Use truth tables to show that the following formulas are always true:
    i) P ^ Q <=> Q ^ P
    ii) P ^ (Q v R) <=> (P ^ Q) v (P ^ R)
    iii) (P v Q) <=> P ^ Q
    construct truth tables similar to how i did in the last problem. the column quoted in each question part should have all T values in them if you fill out the tables right.

    4. An enormous amount of loot has been stolen from a store. The criminal (or criminals) took the heist away in the car. Three well known criminals A, B and C were brought to Scotland Yard for questioning. The following facts were ascertained:

    a) No one other than A, B and C was involved in the robbery
    b) C never pulls a job without using A (and possible others) as an accomplice
    c) B does not know how to drive

    Is A innocent or guilty?

    [Hint: A way to answer this question is to rewrite the recorded facts using propositional logic, with basic statements of the form A is guilty, B is guilty, C is guilty, respectively. The next step wuld be to write down the truth tables for the formulas obtained. Keeping in mind that formulas representing facts are always true, you will then be able to deduce an answer tot he question.}
    Let P(S) be the statement "S is guilty".

    Then (a) says \displaystyle P(A) \vee P(B) \vee P(C) (is true)

    (b) says \displaystyle P(C) \implies P(A)

    (c) says \displaystyle P(B) \implies (P(A) \vee P(C))

    That is, if B is guilty, either A or C must be guilty also, because B would need one of them to accompany him to drive.

    You need to ascertain whether P(A) is always T given all these cases are true. You can do this via truth table.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Oct 2010
    Posts
    2
    Thank you.
    Last edited by sahil; October 25th 2010 at 06:07 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. AS coursework, Ideas?
    Posted in the Math Topics Forum
    Replies: 0
    Last Post: November 4th 2009, 09:34 AM
  2. statictic coursework part 2
    Posted in the Statistics Forum
    Replies: 5
    Last Post: December 1st 2008, 01:10 PM
  3. Maths statistics coursework help
    Posted in the Statistics Forum
    Replies: 3
    Last Post: November 22nd 2008, 12:21 PM
  4. Integration Coursework
    Posted in the Calculus Forum
    Replies: 4
    Last Post: November 13th 2008, 01:36 PM
  5. Coursework Help Nth Term!!!
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: November 13th 2005, 09:40 AM

Search Tags


/mathhelpforum @mathhelpforum