Vasturääkivse plahvatavus ning suvalise järelduse ja vääruse disjunktsioon

Vasturääkivse plahvatavus ning suvalise järelduse ja vääruse disjunktsioon

Karmo Talts 

 

Vaatame, kas vasturääkivuse plahvatavuse saab taandada sellele, et vasturääkivusest tuleneb suvaline järeldus või vasturääkivusest tuleneb midagi väära. P-st ja P eituse konjunktsioonist saame me konjunktsiooni lihtsustamisel järeldada nii P, kui ka P eituse. P-st saame me sisse tuua P ja Q disjunktsiooni. P ja Q disjunktsiooni ja P eituse abil saame me disjunktiivset süllogismi kasutades järeldada Q. 

Vaatame nüüd, millise tõeväärtusega järelduse me tegime Q järeldamisel. Kui Q on tõene, siis me tegime tõese järelduse, et Q. Kui Q on väär, siis me järeldamise vääruse. Seega vasturääkivus tõestab Q või tõestab vääruse.