Tõestused, et valetajalause ja valetajalause eitus pole tõestatavad
Karmo Talts
Tõestame, et valetajalause pole tõestatav. Kui valetajalause on tõestatav, siis on valetajalause tõene. Kui valetajalause on tõene, siis on valetajalause on korraga tõene ja väär. Kasutame nüüd transitiivsust. Kui valetajalause on tõestatav, siis valetajalause on korraga tõene ja väär. Toome nüüd sisse eituse. Valetajalause pole tõestatav.
Tõestame nüüd, et valetajalause eitus pole tõestatav. Kui valetajalause eitus on tõestatav, siis on valetajalause väär. Kui valetajalause on väär, siis valetajalause on korraga tõene ja väär. Kasutame nüüd transitiivsust. Kui valetajalause eitus on tõestatav, siis valetajalause on korraga tõene ja väär. Toome nüüd sisse eituse. Valetajalause eitus pole tõestatav.
No comments:
Post a Comment