next up previous contents index
Next: Proof by Cases Up: Proof Previous: Proving Biconditionals

Proving tex2html_wrap_inline12030

To prove tex2html_wrap_inline12030 let x represent an arbitrary element of the universal set and prove that P(x) is true. Then since x was arbitrary element of the universal set, we may generalize that tex2html_wrap_inline12030 is true. The justification is Logical Axiom 2


droyster@math.uncc.edu