am_lect_12 - B C BUT such an x may not exist (if A = )...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
A Direct Proof with (Transitivity of ): If A B and B C then A C Proof : Let x A Since A B , then by definition y , y A y B So x B Again since B C , then by definition z , z B z C So x C Thus x , x A x C Hence by definition, A C
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Another Direct Proof with Claim : If A B and C D then A × C B × D Proof : Let ( x , y ) A × C Then by definition, x A and y C Since A B , x B and since C D , y D Hence by definition, ( x , y ) B × D Thus ( x , y ), ( x , y ) A × C ( x , y ) B × D Hence by definition, A × C B × D
Background image of page 2
A False Proof with Claim ”: If A × B A × C then B C “Proof” : Let y B Consider any x A Then by definition ( x , y ) A × B So ( x , y ) A × C (since A × B A × C ) Then by definition x A and y C Thus y , y B y C Hence by definition,
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: B C BUT such an x may not exist (if A = ) Proving two sets are equal In general to show that X = Y we need to show two things: X Y and Y X Occasionally, however, the proof follows directly by logical equivalence: Example (DeMorgans Law): A B = A B Proof : A B = { x U x A B } = { x U ( x A B ) } = { x U ( x A x B ) } = { x U ( x A ) ( x B ) } = { x U ( x A ) ( x B ) } = { x U ( x A ) ( x B ) } = A B...
View Full Document

This note was uploaded on 12/24/2010 for the course CS CS 173 taught by Professor Fleck during the Spring '10 term at University of Illinois, Urbana Champaign.

Page1 / 4

am_lect_12 - B C BUT such an x may not exist (if A = )...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online