Class Notes (1,100,000)
CA (650,000)
UW (20,000)
CS (1,000)
CS245 (70)
Lecture

Assignment #2 + Solution Winter 2009


Department
Computer Science
Course Code
CS245
Professor
Nancy Day

This preview shows half of the first page. to view the full 3 pages of the document.
CS 245 Winter 2009
Assignment 2
Due: Thu 29 Jan 2009 10am in the CS245 Drop Boxes
30 marks
SOLUTION SET
There may be multiple correct answers to some of these questions.
1. (25 marks) For each of the following problems, determine whether the argument is valid or
invalid. If it is valid, prove its validity using the indicated proof method (natural deduction
or semantic tableaux). If it is invalid, provide a counterexample and demonstrate that the
argument is invalid.
(a) Natural Deduction: ¬(cd), a bc, b d|=
ND ¬a
This argument is valid.
1¬(cd) premise
2abcpremise
3bdpremise
4aassumption
5bcE 2,4
6bassumption
7dE 3,6
8cdI 7
9false ¬E 1,8
10 cassumption
11 cdI 10
12 false ¬E 1,11
13 false cases 5,69,10 12
14 ¬aRAA 4 13
1
You're Reading a Preview

Unlock to view full version