cs245-asn2

cs245-asn2 - argument is invalid(a Natural Deduction c d a...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 245 Winter 2009 Assignment 2 Due: Thu 29 Jan 2009 10am in the CS245 Drop Boxes 30 marks You must submit your assignment with a cover page produced using makeCover , otherwise you will lose 2 marks. Assignments are to be completed individually. The policy on academic ofenses is on the course web page. 1. (25 marks) For each o± the ±ollowing problems, determine whether the argument is valid or invalid. I± it is valid, prove its validity using the indicated proo± method (natural deduction or semantic tableaux). I± it is invalid, provide a counterexample and demonstrate that the
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: argument is invalid. (a) Natural Deduction: ( c d ) , a b c, b d | = ND a (b) Natural Deduction: ( c b ) a | = ND a b c (c) Natural Deduction: ( a b ) , b c | = ND a c (d) Semantic Tableaux: ( c d ) a, d a | = ST a c (e) Semantic Tableaux: ( a d ) , a b | = ST b d 2. (5 marks) Prove the ollowing set o ormulas is inconsistent using semantic tableaux: ( a b ) , a c, c 1...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online