Bikonditsionaalid ja valetajalause
Karmo Talts
Vaatame diagonaliseeritud bikonditsionaalidega ekvivalentsete konditsionaalide konjunktsiooni. Bikonditsionaal X on ekvivalentne X-l on predikaat P-ga on ekvivalentne kui X, siis X-l on predikaat P ja kui X-l on predikaat P, siis X.
Vaatame nüüd, millal need mõlemad konditsionaalid on tõesed. Need on tõesed siis, kui X ja X-l on predikaat P või kui X-l pole predikaati P ja pole nii, et X.
Vaatame nüüd valetajalauset. X on ekvivalentne X on vääraga on tõene siis, kui X ja X on väär või pole nii, et X ja X pole väär. Mõlemast disjunktsiooni osaväitest järeldub vasturääkivus. Seega me saame sisse tuua sisse selle disjunktsiooni eituse. Seega on X on ekvivalentne X on väära-ga tarvilik tingimus väär. Seega on X on ekvivalentne X on väära-ga väär.
No comments:
Post a Comment