inclass3_solns.pdf

58 views1 pages
Published on 17 Apr 2013
School
Simon Fraser University
Department
Math & Comp Sci
Course
MACM 101
Professor
Name: StudentID:
1. Establishthevalidity(orinvalidity)ofthefollowingstatements.Ifvalid,showusingthelaws
oflogic.Otherwisegiveacounterexample:
a. p(p→q)
¬qr.
r
b. p→(q→r)
p¬s
t→q
s.
¬r→¬t
c. p¬q
¬q
p→(q→r)
¬r
2. Lettheuniversebemadeupofallshapes
r(x)=xisarectangle
s(x)=xisasquare
t(x)=xisatriangle
h(x)=allsidesofxareequal
Whatisthetruthvalueof:
a. x(¬r(x)s(x))
b. x(h(x)→s(x))
3. LetP(x,y)=“xhasbeeninclassroomy”.Write“Thereisastudentwhohasbeeninevery
classroomatFIC”asaquantifiedstatement.Remembertogivetheuniverseofeach
variable.
4. Determinethetruthvalueof:(intheuniverseofallintegers)
a. nmp(p=(m+n)/2)
b. nm(n+m=4nm=4)
Unlock document

This preview shows half of the first page of the document.
Unlock all 1 pages and 3 million more documents.

Already have an account? Log in

Get OneClass Grade+

Unlimited access to all notes and study guides.

YearlyMost Popular
75% OFF
$9.98/m
Monthly
$39.98/m
Single doc
$39.98

or

You will be charged $119.76 upfront and auto renewed at the end of each cycle. You may cancel anytime under Payment Settings. For more information, see our Terms and Privacy.
Payments are encrypted using 256-bit SSL. Powered by Stripe.