Välistav disjunktsioon ja vasturääkivus
Karmo Talts
Vaatame millise välistava disjunktsiooni saab tuletada suvalisest eeldusest. Kui P, siis P ja Q või P ja mitte-Q, aga mitte mõlemad korraga.
Vaatame nüüd selle teoreemi käitumist vasturääkivuse korral. Ellimineerides P ja P eituse konjunktsiooni saame me nii P, kui ka P eituse. P-st saame me tuletada disjunktsiooni P on tõene ja Q on tõene või P on tõene ja Q on väär, aga mitte mõlemad korraga. P eitus räägib sellele disjunktsioonile vastu, aga ei võimalda tuletada suvalist järeldust.
Vaatame nüüd selle tähendust andmetes oleva vasturääkivusega toime tulemiseks. Kui "kui P, siis P ja Q või P ja mitte-Q, aga mitte mõlemad korraga" on teoreem ja "kui P, siis P või Q" pole, siis ei saa vasturääkivusest teha suvalist järeldust.
No comments:
Post a Comment