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

• No School
• AA 1
• 2

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?