19 sty 14:51
PuRXUTM: przekreślić i napisać sprzeczność, moim zdaniem

Brak rozwiązań piszemy jak np. delta ujemna
19 sty 14:56
PW: Jeżeli było prowadzone rozumowanie
p⇒q⇒r⇒...⇒t,
to wykazaliśmy prawdziwość zdania
p⇒t.
Jeżeli przy tym okazało się, że zdanie "t" jest fałszywe, oznacza to iż fałszywe musiało być
zdanie "p". Prawdziwa implikacja o fałszywym następniku musi mieć fałszywy poprzednik. [Takie
wypowiedzi sprawdza się "tabelkami logicznymi"]
Jeżeli więc mamy pewność, że wywód był poprawny, to wniosek jest taki: poprzednik "p" musiał
być fałszywy.
Śmiało można więc, mając wywód
p⇒q⇒r⇒...⇒20=0
napisać pod spodem: "otrzymana sprzeczność świadczy, że założenie było fałszywe".
Podkreślam: "sprzeczność" nie polega na tym, że 20=0, ale na tym, że w wyniku poprawnego
logicznie rozumowania otrzymaliśmy zdanie fałszywe.
Jeżeli założeniem było "równanie ma pierwiastki", otrzymana sprzeczność świadczy, że założenie
było fałszywe, czyli równanie nie ma pierwiastków. Jest to typowa sytuacja przy rozwiązywaniu
równań metodą "analizy starożytnych", kiedy z reguły nie bada się dziedziny, tylko zaczyna od
stwierdzenia "przypuśćmy, że równanie ma pierwiastki".
19 sty 15:20
naleśnikk: PuRXUTM i PW dzięki za odpowiedzi
19 sty 15:35
Trivial: Następnym razem dodaj więcej wykrzykników i pytajników, bo słabo widać.
19 sty 16:05