Koondamine, tühjad tõed, absurdi tõestamine ja eituse sissetoomist

Koondamine, tühjad tõed, absurdi tõestamine ja eituse sissetoomist 

Karmo Talts

 

Vaatame koondamist väite vääruse seisukohast. Kui P on väär, siis on (P→ (P→ Q)) ja (P→ Q) tühjad tõed. Seega on ka (P→ (P→ Q))→(P→ Q) tühi tõde. Seega juhul, kui väide on väär, ei pruugi väide olla korduvaks järelduste tegemiseks saadaval.

Vaatame nüüd absurdi tõestamist ja eituse sissetoomist. Mõlemad eeldavad väära väite korduvat kasutamist, et tõestada väära väite eitust. Seega ei pruugi väide, mida nad kasutavad, olla korduvaks järelduste tegemiseks saadaval.