See, et väitest ei järeldu vasturääkivus, ja tõde
Karmo Talts
Tõestame, et klassikalises loogikas järeldub sellest, et väitest ei järeldu vasturääkivust, väite tõesus. Kui P-st ei järeldu vasturääkivus, siis pole konditsionaaliga "P-st järeldub vasturääkivus" ekvivalentne disjunktsioon "pole nii, et P või on nii, et vasturääkivus on tõene" tõene. Kui see disjunktsioon pole tõene, siis on tõene konjunktsioon "P ja vasturääkivus ei ole tõene".
No comments:
Post a Comment