Konditsionaalide tõestamise ja selle, et konditsionaali eeldus on väär, tõestamise seos

Konditsionaalide tõestamise ja selle, et konditsionaali eeldus on väär, tõestamise seos 
Karmo Talts

Vaatame seda, kas konditsionaali "kui P, siis Q" tõestamiseks on tingimata vaja näidata, et P-d eeldades me saame tõestada Q. Kui me saame tõestada P eituse, siis me saame samuti tõestada, et kui P, siis Q.
Vaatame nüüd nende kahe tõestuse suhet. Kui me oleme tõestanud P eituse, siis on esimene tõestus vähemalt mitte-vajalik, kui mitte absurdne: kui me oleme tõestanud P eituse, siis P-d eeldades eeldame me väidet, mis räägib tõestatud väitele vastu.
Võtame nüüd tugevama hoiaku, et kui me oleme tõestanud P eituse, siis me ei tohi eeldada P-d ja kasutada esimest tõestust. Seega siis,  kui pole nii, et pole nii, et P, siis see, et P eeldamine tõestab Q, tõestab, et kui P, siis Q.