dowód nie wprost 00000: Udowodnij nie wprost, że dla dowolnej liczby naturlanej n, jeżeli n² jest liczbą nieparzystą, to n też jest liczbą nieparzystą. Jak mam to zapisać? Czy może być tak: [n²=2m+1, n,m ∈ N]===>[n=2l+1, n,l∈ N], potem przepisać część za strzałką zmieniając znak na =/= i podnieść to do kwadratu tak, że wychodzi n²=/=4l²+4l+1, czyli n²=/=2(2l²+2l)+1 czyli n²=/=2m+1, czyli sprzeczność z założeniem i na tym koniec?

PW: Banalny dowód metodą "nie wprost". Co by było, gdyby n była parzysta? Logicznie dowód "nie wprost" polega na tym, że zamiast dowodzić p ⇒ q dowodzimy równoważne ∼q ⇒ ∼p.