{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

AnatomyOfAProofSlideshow

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

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

Anatomy of a Proof Task: Prove that S = for every set S.

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

View Full Document
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 . Since S and S , we conclude that S = , as desired.

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}