Disjunktsioon, koondamine ja vasturääkivus
Karmo Talts
Tõlgendamine koondamist disjunktsiooni kaudu. Väide P tõestab P ühe ja P teise esinemisjuhu disjunktsiooni. Juhul ,kui andmetes ei ole vasturääkivust, on need P esinemisjuhud samaväärsed.
Vaatame nüüd vasturääkivust. Kui me tuletame P ja P eituse konjunktsioonist P, siis me saame tõestada P ühe ja P teise esinemisjuhu disjunktsiooni. Me saame kasutada disjunktiivsets süllogismi, et P eitusest ja P ühe ja P teise esinemisjuhu disjunktsioonist tuletada ühe P esinemisjuhu. Seega pole need esinemisjuhud vasturääkivuse korral samaväärsed ja koondamise kasutamine pole õigustatud.
No comments:
Post a Comment