Hüpoteetiline disjunktsioon ja eeldustest sisse toodud disjunktsioon

Hüpoteetiline disjunktsioon ja eeldustest sisse toodud disjunktsioon 

Karmo Talts

Eristame hüpoteetilise disjunktsiooni eeldusest sisse toodud disjunktsioonist.
Vaatame nüüd disjunktiivset süllogismi hüpoteetilise disjunktsiooni seisukohast. Hüpoteesist, et P või Q ja P eitusest järeldub Q.
Vaatame nüüd disjunktiivset süllogismi eeldustest sisse toodud disjunktsiooni seisukohast. Kui me oleme sisse toonud P ja Q disjunktsiooni ja me pole eeldanud P-d, siis me oleme eeldanud Q-d.
Vaatame nüüd vasturääkivust. Hüpoteesist, et P on korraga tõene ja väär järeldub suvaline järeldus. Kui midagi sellist oleks võimalik, siis see, et me oleme korraga eeldanud P-d ja pole eeldanud P-d, tähendaks, et me oleme eeldanud midagi suvalist, sest siis me saaks sisse tuua P ja Q disjunktsiooni ja see disjunktsioon ja see, et me pole P-d eeldanud, tähendaks koos, et me oleme eeldanud Q-d.