Koondamine, väär väide ja vasturääkivus
Karmo Talts
Vaatame eituse sissetoomist. Kui me oleme kasutanud P-d vasturääkivuse järeldamiseks, P-d ja vasturääkivust kasutanud konditsionaali P→Q∧¬Q järeldamiseks ja seda konditsionaali kasutanud P eituse järeldamiseks, siis juhul, kui me saame kasutada piiramatult koondamist, siis me saame kasutada vasturääkivust P eituse ja vasturääkivuse konjunktsiooni järeldamiseks. Seega ei saa vasturääkivust kasutada korduvalt järelduste tegemiseks.
Vaatame nüüd väära väite korduvat kasutamist järelduste tegemiseks. Kui me saame P-d kasutada korduvalt järelduste tegemiseks, siis me saame meie eleenva tuletuskäigu järel sisse tuua P ja P eituse konjunktsiooni. Seega ei saa väära väidet kasutada korduvalt järelduste tegemiseks.
Vaatame nüüd, kas me oleme ülal olevas tuletuskäigu kasutanud väära väidet korduvalt järelduste tegemiseks. Me oleme seda kasutanud teisel korral konditsionaali P→Q∧¬Q järeldamiseks. Seega ei pruugi eituse sissetoomise teine pool olla kehtiv tuletuskäik.
No comments:
Post a Comment