Tõestus, et kui X on tõene, siis X pole ekvivalentne X on vääraga
Karmo Talts
Tõestame, et kui X on tõene, siis pole X ekvivalentne X on väär-aga.
Eeldame, et X.
Eeldame, et X on ekvivalentne X on väär-aga.
Asendame X-i ekvivalentse väitega. X on väär..
Toome sisse konjunktsiooni. X ja X on väär. See on vasturääkivus.
Kasutame transitiivsust. Eeldustest, et X ja X X ekvivalentne X on väär-aga järeldub vasturääkivus.
Toome siis eituse. Pole nii, et X ja X on ekvivalentne X on väär-aga.
No comments:
Post a Comment