Prawo kontrapozycji i dowód nie wprost sc22: Cześć. Czy mógłby mi ktoś wyjaśnić jak prawo kontrapozycji ma się do dowodu nie wprost? Dowód nie wprost jest wtedy kiedy przyjmiemy że żałożenie jest prawdziwe ale powstaje fałszywa teza?

PW: Dowód nie wprost polega na wykazaniu prawdziwości zdania: (1) "Jeżeli teza jest fałszywa, to założenie jest fałszywe". Jest to kontrapozycja zdania (2) "Jeżelli założenie jest prawdziwe, to teza jest prawdziwa". (1) i (2) są równoważne logicznie.