This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: valid. If they are valid, demonstrate their validity. You may use natural deduction or trans-formational proof. In both types of proofs, you may use the axioms and derived laws of set theory. If you use natural deduction, do not use any logical laws from transfor-mational proof. In transformational proof, you may use the logical laws of predicate and propositional logic. If the argument is invalid, provide a counterexample and demonstrate that the argu-ment is invalid. (a) R ( | C | ) ∪ R ( | C ′ | ) = B where R : A ↔ B,C ⊆ A (b) ran(((( R ⊲ D ) ⊲ C ); id Y ) ∼ ) = dom( R ⊲ ( C ∪ D )) where R : X ↔ Y,C ⊆ Y,D ⊆ Y (c) ( B ⊳ R ) ∪ ( A ⊳ R ) = ( B − A ) ⊳ R where R : X ↔ Y,A ⊆ X,B ⊆ X (d) ( ∃ y • ( x,y ) ∈ ( R ∪ S )) ⊢ ( ∃ y • ( x,y ) ∈ ( R ⊕ S )) where R,S : X ↔ Y ( x is a constant.)...
View Full Document
This note was uploaded on 10/23/2009 for the course CS 245 taught by Professor A during the Spring '08 term at Waterloo.
- Spring '08