Vasturääkivusest tulenev suvaline järeldus, vasturääkivuse väärus ja koondamine
Karmo Talts
Vaatame vasturääkivuse vääruse ja selle, et vasturääkivusest järeldub suvaline järeldus, seost. Mõned väidetest, mille vasturääkivus tõestab, on väärad. Seega on vasturääkivus väär.
Vaatame nüüd koondamiseta loogikat. Paaris arvu vasturääkivuse P∧¬P esinemisjuhte saab kasutada suvalise järelduse Q tegemiseks. Seega on koondamiseta loogikas paaris arvu vasturääkivuse P∧¬P esinemisjuhtude konjunktsioon väär.
No comments:
Post a Comment