logika kyrtap: Proszę o spr Każde z poniższych zdań wyraz w postaci p ⇒ q. Wskaz założenie i tezę twierdzenia. a) W trójkącie prostokątnym suma kwadratów przyprostokątnych jest równa kwadratowi przeciwprostokątnej. p − trójkąt prostokątny (założenie) q − a² + b² = c² (teza) p ⇒ q

kyrtap:

kyrtap:

bezendu: ?ⁿ

kyrtap: pomoże ktoś ?

lwg: q=0, więc q nie jest zdaniem. A jeśli q jest zdaniem, to p∊1, przeto q∊1. należy do zbioru zdań prawdziwych 1. Wtedy implikacja (p ⇒ q)∊1. http://mimuw.edu.pl/delta/artykuly/delta1204/rownianie.pdf

Janek191: p : trójkąt o bokach długości : a , b , c ; a < b < c jest prostokątny ( założenie ) q : a² + b² = c² ( teza ) p ⇒ q ( twierdzenie Pitagorasa )

lwg: Janek191, Dlaczego a<b? Nie ma srania po krzakach ...

Janek191: Poprawka Powinno być a ≤ b < c

lwg: a,b∊R mniej {0}. a=x/z i b=y/z i c=1. Wjeżdżamy w układ X0Y. (x/z)² + (y/z)² = 1.

Janek191: To chyba oczywiste, że a > 0 , b > 0 i c > 0 skoro a, b , c są długościami boków trójkąta