Väide, millest disjunktsioon on sisse toodud, ja vasturääkivus

Väide, millest disjunktsioon on sisse toodud, ja vasturääkivus 

Karmo Talts 

 

Vaatame, kas see, millisest osaväitest on disjunktsioon sisse toodud, muudab midagi. Kui P on tõsi, siis on tõsi P ja P või Q konjunktsioon. Selleks vaatame vasturääkivust. 

P ja P eituset konjuktsiooni ellimineerimisel saame me nii, P, kui ka P eituse.

P eitusest saame me sisse tuua P ja P või Q konjunktsiooni. 

Kuna P eitus räägib P ja P või Q konjunktsioonile vastu, siis järeldub sellest konjunktsioonist ja P eitusest vasturääkivus, mitte suvaline järeldus.