This preview shows page 1. Sign up to view the full content.
MACM 101
Midterm Test
Some Day, 2007
This is a sample!
Last Name
First Name and Initials
Student No.
NO AIDS allowed. Answer ALL questions on the test paper. Use backs of
sheets for scratch work.
Total Marks: 100
1. State DeMorgan’s law
[8]
2. Show that
¬
(
p
→
q
)
→ ¬
q
is a tautology.
[12]
3. Show that (
p
→
q
)
→
r
and
p
→
(
q
→
r
) are not logically equivalent.
[16]
4. Give the reasons for each step needed to show that the following argument
[16]
is valid
This is the end of the preview. Sign up
to
access the rest of the document.
This note was uploaded on 12/12/2010 for the course MACM 101 taught by Professor Pearce during the Summer '08 term at Simon Fraser.
 Summer '08
 PEARCE

Click to edit the document details