Eeldused, millest järeldub vasturääkivus ja modaalsused
Karmo Talts
Vaatame eituse sissetoomist võimalikkuse seisukohast. P väärusest järeldub, et on võimalik, et P on väär.
Kasutame nüüd transitiivsust. Kui P-st järeldub vasturääkivus siis on võimalik, et P on väär.
Sõnastame nüüd kontrapositsiooni. Kui P on paratamatult tõene, siis P-st ei järeldu vasturääkivus.
No comments:
Post a Comment