Tutorial 03 - • •t p q• sr •• COMP2781 COMP8781 Sem 1 2011 Flinders University Tutorial 3 Set 3.3 Ex 35 41g Set 3.4 Ex 15 22 Set 4.1 Ex 6

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

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: • •t p q• sr •• COMP2781, COMP8781, Sem. 1, 2011, Flinders University Tutorial 3 Set 3.3: Ex. 35, 41g Set 3.4: Ex. 15, 22 Set 4.1: Ex. 6, 34, 42 Proof validity of the following argument by resolution directly and with the proof by contradiction: [(r → u) ∧ (u →∼ w) ∧ (∼ r →∼ w)] →∼ w Page 1 Last updated March 24, 2011 by M. Bajger ...
View Full Document

This note was uploaded on 06/12/2011 for the course MATH 103 taught by Professor Wouters during the Spring '08 term at Wisc Oshkosh.

Ask a homework question - tutors are online