Dowód przez modus ponens

Proof by modus ponens To prove p ⇒ q we prove [ p ∧ ( p ⇒ q )] ⇒ q instead.
Example:
We know, that if a right triangle has sides of lengths a, b, c , which c is the largest, then a 2 + b 2 = c 2 ( p ⇒ q ).
Therefore, if we prove that any triangle with sides of
lengths x, y, z , where z is the largest, is a right triangle,
we may conclude - by modus ponens - that x 2 + y 2 = z 2.
... zobacz całą notatkę