tut06.pdf - Mat1101 Tutorial Week 6 Logic Grossman Chapter...

This preview shows page 1 - 2 out of 2 pages.

Mat1101 Tutorial Week 6LogicGrossman Chapter 41. Construct truth tables to verify the following laws.(a)¬(? ∨ ?) ≡ ¬? ∧ ¬?(de Morgan's second law)(b)? → ? ≡ ¬? ∨ ?(implication law)(c)? ∧ (? ∨ ?) ≡ ?(first absorption)2. Consider the following two propositions:? ≡It is snowing? ≡I go skiing.(a) Write the implication? → ?in plain english.(b) Write the inverse, the converse and the contrapositive ofthis implication using the logical symbols∧, ∨, ¬,orasrequired.(c) Construct truth tables of the implication, and it's inverse,converse, and contrapositive. Hence, determine which arelogically equivalent.(d) Write the inverse, the converse and the contrapositive ofthis implication in plain English.3. Consider the following proposition.¬(? ∨ ¬?) ∨ ?.(a) Construct a truth table for the proposition above.(b) Construct a truth table for? ∨ ?. Compare this truth tablewith one constructed in the previous part. What can you
End of preview. Want to read all 2 pages?

Upload your study docs or become a

Course Hero member to access this document

Term
Fall
Professor
NoProfessor
Tags

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture