next up previous
Next: Principle of Mathmatical Introduction Up: Proof Techniques Previous: A vacuously true statements

Proof by cases


For any sets A & B, if tex2html_wrap_inline390
then tex2html_wrap_inline392 .
Proof:
A = B is equivalent to
tex2html_wrap_inline396
tex2html_wrap_inline398 is
tex2html_wrap_inline400

We have to show

eqnarray103

tex2html_wrap_inline402


Sushil Prasad
Wed Jun 24 18:35:18 EDT 1998