PHIL 2100 Lecture 5: 5. derivations
Document Summary
Note: a show line may be introduced at any time, and it does not need a justi cation: the other lines of a derivation consists of a sentence followed by a justi cation. (i) is a premise (or assumption), and the line is justi ed by writing pr (or. (ii) follows from previous lines by a rule, and the line is justi ed by writing the numbers of the lines from which it follows, along with the rule (i. e. mp , mt , 2,3,mp: derivations end with boxing and canceling . When we have completed the task of showing what we wanted to we indicate that the task has been completed. We indicate what kind of derivation it is ( dd , id , cd ) after the nal line. The show on the show line is cancelled by drawing a line through it: show.