Selle uurimine, kas on nii nagu väide ütleb ja tõeskeem
Karmo Talts
Vaatame, kas selle välja uurimiseks, et lumi on valge, on vaja tõestada, et väide "lumi on valge" on tõene. Selleks on hoopis vaja vaadelda lund.
Vaatame nüüd selle tähendust tõeskeemi jaoks. Tõeskeem ei võta arvesse seda, et väite, et P on tõene, tõestamiseks on vaja P-d ja väide, et P on tõene, kõigest kasutab eeldust, et P. Seega siis, kui P, siis P on tõene ja kui me oleme tõestanud, et P on tõene, siis me oleme eeldanud, et P.
No comments:
Post a Comment