Koondamine ja tehtud järeldusest tulenevad järeldused

Koondamine ja tehtud järeldusest tulenevad järeldused

Karmo Talts

 

Seame järgmise piirangu koondamise struktuursele reeglile: eeldust P saab järeldamisel uuesti kasutada siis, kui me kasutame P-d P-st tuleneva järelduse Q järeldamiseks ja Q-st saab järeldada, et P, kasutades ainult Q-d ja Q-st tulenevaid järeldusi.

Vaatame nüüd disjunktsiooni. Me saame P-st sisse tuua P ja Q disjunktsiooni. Me ei saa kasutada ainult P ja Q disjunktsiooni ja sellest tulenevaid järeldusi P järeldamiseks. Seega juhul, kui me kasutame P-d disjunktsiooni sissetoomiseks, ei saa me P-d järeldamisel uuesti kasutada.