AnatomyOfAProofSlideshow

AnatomyOfAProofSlideshow - Anatomy of a Proof Task: Prove...

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon

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

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

Unformatted text preview: Anatomy of a Proof Task: Prove that S ∩ ∅ = ∅ for every set S. Anatomy of a Proof Task: Prove that S ∩ ∅ = ∅ for every set S. Claim: Let S be a set. Then S ∩ ∅ = ∅ . Proof: Let S be a set. ( ⊆ ) Suppose x ∈ S ∩ ∅ . Then x ∈ S and x ∈ ∅ , so in particular x ∈ ∅ . Therefore S ∩ ∅ ⊆ ∅ . ( ⊇ ) Because ∅ has no elements, the statement x ∈ ∅ is false for all x . Hence the implication “If x ∈ ∅ , then x ∈ S ∩ ∅ ” is vacuously true. Thus ∅ ⊆ S ∩ ∅ . Since S ∩ ∅ ⊆ ∅ and S ∩ ∅ ⊇ ∅ , we conclude that S ∩ ∅ = ∅ , as desired. Task: Prove that S ∩ ∅ = ∅ for every set S. Claim: Let S be a set. Then S ∩ ∅ = ∅ . Proof: Let S be a set. ( ⊆ ) Suppose x ∈ S ∩ ∅ . Then x ∈ S and x ∈ ∅ , so in particular x ∈ ∅ . Therefore S ∩ ∅ ⊆ ∅ . ( ⊇ ) Because ∅ has no elements, the statement x ∈ ∅ is false for all x . Hence the implication “If x ∈ ∅ , then x ∈ S ∩ ∅ ” is vacuously true. Thus ∅ ⊆ S ∩ ∅ ....
View Full Document

This note was uploaded on 02/20/2012 for the course MATH 4000 taught by Professor Staff during the Spring '08 term at UGA.

Page1 / 9

AnatomyOfAProofSlideshow - Anatomy of a Proof Task: Prove...

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