Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have to proof by contradiction that: let $ A $ a set and $ \emptyset $ the empty set, then $ \emptyset \subseteq A$; if $ \emptyset \nsubseteq A$ then $\exists x \in \emptyset ( x \notin A ) $ but for hypothesis "let $ \emptyset $ the empty set, then $\nexists x \in \emptyset$", so I have a contradiction and therefore $ \emptyset \subseteq A$ is true! Is it correct? Thank you all in advance

share|improve this question
1  
Yes, this also is just fine. –  Brian M. Scott Mar 14 '13 at 16:15
    
Ya thats correct answer –  kalpeshmpopat Mar 14 '13 at 16:23
    
@BrianM.Scott thank you! –  mle Mar 14 '13 at 18:04
    
@kalpeshmpopat thank you! –  mle Mar 14 '13 at 18:05
    
You’re welcome. –  Brian M. Scott Mar 14 '13 at 18:05

2 Answers 2

up vote 7 down vote accepted

Nitpick (very slight alteration to follow):

Let $ A $ [be] a set and $\emptyset$ the empty set. Then $ \emptyset \subseteq A$.

Proof:
[Let $A$ be a set and $\emptyset$ the empty set. Suppose also, for the sake of contradiction, that] $\; \emptyset \nsubseteq A$.
Then $\exists x \in \emptyset,$ [such that] $( x \notin A ) $.
But by hypothesis, $\emptyset$ is the empty set, [thus by the definition of the empty set], $\lnot\exists x \in \emptyset$.
So [we] have [reached] a contradiction, and it must therefore follow that] $ \;\;\emptyset \subseteq A,$ [as desired].


(Note: here $\lnot\exists \equiv \nexists$)

share|improve this answer
    
for tomorrow morning –  Babak S. Mar 14 '13 at 20:11
1  
@Oleg: you had all the right ideas and your proof does indeed work. My suggestions are not implying you were wrong: I am simply suggesting how to "tighten up" your proof, and how you can make it a tad more "formal" and precise. –  amWhy Mar 14 '13 at 20:37
    
@amWhy thank you for idea!! –  mle Mar 14 '13 at 21:02

Yes, that is a correct proof of your statement by contradiction.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.