Osaväide, millest disjunktsioon on sisse toodud ja vasturääkivus
Karmo Talts
Vaatame, kas see, millisest osaväitest on disjunktsioon sisse toodud, muudab vastuäärikivusest suvalise järelduse tuletamise osas midagi. Kui P on tõsi, siis on tõsi P ja P või Q. Kuna mP räägib konjunktsioonile P ja P või Q vastu, siis järeldub sellest konjunktsioonist ja mP-st vasturääkivus, mitte suvaline järeldus.
No comments:
Post a Comment