Dowód przez modus ponens

Nasza ocena:

5
Pobrań: 7
Wyświetleń: 518
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Dowód przez modus ponens - strona 1

Fragment notatki:

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ę



Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz