Identsusseadus ja vasturääkivused
Karmo Talts
Vaatame, kas on võimalik tõestada, et identsusseadus kehtib. Kui x on identne y-iga, mis pole identne x-iga, siis x kohta käivate väidete tõeväärtus on korraga selline, nagu x-i kohta käivatel väidetel ja selline nagu y kohta käivatel väidetel. Kui x-i kohta käiva väite tõeväärtus erineb y-i kohta käiva väite tõeväärtusest, siis tekib vasturääkivus. Seega eeldusel, et vasturääkivuse seadus kehtib, kehtib ka identsusseadus.
No comments:
Post a Comment