Loogikatehete sissetoomine tõestuste sees
Karmo Talts
Vaatame, kas loogikatehteid saab sisse tuua tõestuste sees. Kui eelduste hulk gamma koos eeldustega P ja Q tõestab R-i, siis eelduste hulk gamma koos P ja Q konjunktsiooniga tõestab R-i. Kui eelduste hulk gamma tõestab Q või R-i, siis eelduste hulk gamma tõestab Q ja R-i disjunktsiooni.
Vaatame nüüd, kas loogikatehteid saab ellimineerida tõestuse sees. Kui eelduste hulk gamma koos P ja Q konjunktsiooniga tõestab R-i, siis eelduste hulk gamma koos eeldustega P ja Q tõestab R-i. Kui P tõestab R-i ja Q tõestab R-i ning P ja Q disjunktsioon on paratamatult tõene, siis R on paratamatult tõene.
Kommentaare ei ole:
Postita kommentaar