Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Solution (a)

  • (a) “If I eat spicy foods, then I have strange dreams.” “I have strange dreams if there is thunder while I sleep.” “I did not have strange dreams.”
  • The relevant conclusions are: “I did not eat spicy food” and “There is no thunder while I sleep”.
  • Let the primitive statements be:
    • s, ‘I eat spicy foods’
    • d, ‘I have strange dreams’
    • t, ‘There is thunder while I sleep’
  • Then the premises are translated as: s → d, t → d, and ¬d.
  • And the conclusions: ¬s, ¬t.
  • Steps        Reason
  1. s → d        premise
  2. ¬d             premise
  3. ¬s             Modus Tollens to Steps 1 and 2
  4. t → d        premise
  5. ¬t             Modus Tollens to Steps 4 and 2.

Speaker notes:

Content Tools


There are currently no sources for this slide.