Matematyka.pl

\forall_t (P(t) \Rightarrow Q(t))
oznaczenia jak wyżej,
to czy to twierdzenie jest prawdziwe dla każdego/dowolnego trójkąta
Przy zapisie powyżej kwantyfikujesz po wszystkich trójkątach, czyli twierdzenie ma postać:

Dla dowolnego trójkąta t , jeśli t jest prostokątny to suma kwadratów... itd ...

Zapiszmy to troszkę bardziej formalnie ()

niech t oznacza dowolny trójkąt.
wtedy
\forall_t (P(t) \Rightarrow Q(t))
gdzie:
P(t) - trójkąt jest prostokątny
Q(t) - suma kwadratów długości dwóch boków tego trójkąta jest równa kwadratowi długości trzeciego boku.

Jaki trójkąt byśmy nie wzięli ...

Hmmmm, witam serdecznie!

Czytam to forum od pewnego czasu i postanowiłem się zarejestrować, ponieważ chyba wiem z czym (a raczej - z Kim) boryka się użytkownik Valki.


Twierdzenie Pitagorasa, a mówiąc to, mam na myśli takie zdanie:
Jeśli trójkąt jest prostokątny, to suma kwadratów długości dwóch ...