This preview shows page 1. Sign up to view the full content.
Unformatted text preview: (d) History students are Arts students. Prove that (d) logically follows from (a)(c) using natural deduction. In your proof you may use any of the inference rules from propositional and predicate logic and you may use any of the denitions given on the summary sheet for set theory. 3. (9 marks) Assume that S and T are binary relations. Prove the following predicates or give counter examples showing why they are not valid. dom ( S T ) ( dom S ) ( dom T ) ( dom S ) ( dom T ) dom ( S T ) 4. (9 marks) Prove or disprove the following property of binary relations. id ( dom R ) = R ; R...
View
Full
Document
This note was uploaded on 01/19/2010 for the course CS 246 taught by Professor Wormer during the Spring '08 term at Waterloo.
 Spring '08
 WORMER
 Computer Science

Click to edit the document details