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 deﬁnitions 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
 Spring '08
 WORMER
 Computer Science, Logic, Mathematical logic, University of Waterloo School of Computer Science, CS245 assignment box

Click to edit the document details