Proving A×B ≠φ for A≠φ and B≠φ

[bobby2k]

I am supposed to prove:

If A $\neq$ $\phi$ and B $\neq$ $\phi$ then
A$\times$ B $\neq$ $\phi$

The HINT in the back of the book gives:
A $\neq$ $\phi$ $\wedge$ B $\neq$ $\phi$
$\Rightarrow$ $\exists$a$\subseteq$A $\wedge$b$\subseteq$ B so that (a,b) $\subseteq$ A$\times$ B

I have 2 questions

1.Is it enough for the proof to write the hint, and then say "hence A $\times$B" is not empty.

2. Or do I have to prove the hint?
If I have to prove the hint, is this a correct way to prove it?
$A \neq \phi \wedge B \neq \phi$ -Premise-(1)
$A \neq \phi$ - 1 and simplification-(2)
$B \neq \phi$ - 1 and simplification-(3)
$\exists a \in A$ - 2 and since A is not empty it has atleast one element-(4)
$\exists b \in B$ - 3 and since B is not empty it has atleast one element-(5)
$(\exists a \in A) \wedge (\exists b \in B)$- 4 and 5- (6)
$(a,b) \in A \times B$ - 6, and definition of $A \times B$ -(7)
$A \times B \neq \phi$ - 7 and definition of $\phi$ (8)

Is step (4) and (5) ok? I haven't read an axiom that specifies that every non-empty set has ateleast one element. Do I maybe have to use the face that there is only one empty set. And since there is only one empty set, every other set must have atleast one element, or else they would be the empty set?

Should step (7) have more explanation?

Also should existencial generalistion or specification have been cited anywhere in the proof?

 

[voko]

What is the definition of the empty set that you are supposed to know and use?

 

[bobby2k]

What is the definition of the empty set that you are supposed to know and use?

Do you mean in step 8?
There I used that the "definition" of the empty set is that it contains no elements. And since we in step (7) showed that A $\times$B contains an element, it cannot be the empty set.

 

[voko]

I think your proof is OK.

Even though I think just the hint alone is proof enough.