Selle, et vasturääkivusest järeldub vähemalt üks väär järeldus, tõestus

Selle, et vasturääkivusest järeldub vähemalt üks väär järeldus, tõestus 

Karmo Talts

Tõestame vasturääkivuse seaduse kujul „eeldusest, et väide on korraga tõene ja väär, järeldub vähemalt üks väär järeldus”. Kui me eeldame, et väide P on korraga tõene ja väär, siis me saame konjunktsiooni ellimineerimisel järeldada, nii selle, et P on tõene, kui ka selle, et P on väär. Kui P on väär, siis me saame P-st tuletada mingi väära järeldus. Kasutame nüüd modus ponensit.  Me saame P-st tuletada mingi väära järelduse. Kasutame nüüd modus ponensit uuesti ja tuletame väära järelduse. Kasutame nüüd transitiivsust. Eeldusest, et P on korraga tõene ja väär, järeldub väär järeldus