Course Hero Logo

Lab 2 solutions - MATH*2000 Fall 2012 Lab #2 Thursday,...

  • University of Guelph
  • MAT 2000
  • Homework Help
  • MohsinM1211
  • 2
  • 100% (1) 1 out of 1 people found this document helpful

Course Hero uses AI to attempt to automatically extract content from documents to surface to you and others so you can study better, e.g., in search results, to enrich docs, and more. This preview shows page 1 - 2 out of 2 pages.

MATH*2000 Fall 2012 – Lab #2Thursday, September 20Problem 0.1.Test the validity of the following argument:If I study, then I will not fail Math 2000.If I do not play X-box games, then I will study.But I failed Math 2000.Therefore I must have not played X-box games.Proof.LetS= I study,M= I fail Math 2000,X= I play X-box games. Then the aboveargument is as follows1.S⇒ ¬M2.¬XS3.M————————-4.¬XNote that, the contrapositive of (1) isM⇒ ¬S. So, together with (3), we have¬S(thatis,¬Sis true).The contrapositive of (2) is¬SX. Since we know¬Sis true, we haveXis true. But(4) says¬Xis true. SinceX∧ ¬Xis false, the argument is not valid.Problem 0.2.Using the laws of the algebra of propositions and the rules of inference provethatPR,RQ,¬(PQ)¬Pis a valid argument.
29.¬P(FALSE) (from 8 by Complement law)10.¬P(from 9 by Identity law)Problem 0.3.Simplify:1.{xN|x2=x+ 2}. Although both2and-1work,-1/N, thus the answer is just{2}.2.{xN|2x <
End of preview. Want to read all 2 pages?

Upload your study docs or become a

Course Hero member to access this document

Term
Spring
Professor
Ashlock
Tags
Math, Logic, Set Theory, P, X box, X box games

Newly uploaded documents

Show More

Newly uploaded documents

Show More

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture