PHILOS 31 Lecture Notes - Lecture 6: Cdj, Modus Ponens, Logical Biconditional
Document Summary
Rule: at any step, a line may be introduced if it follows by a rule from sentences on previous available lines; it is justified by citing the numbers of these previous line and the name of the rule. Show , and draw a box around all lines below the show line, including the current line. Assumption for conditional derivation: when a show line with a conditional sentence is introduced, as the next step one may introduce an immediately following line with the antecedent of the conditional on it; the justification is ass cd . Available line: an available line is a prior line in the derivation that is not preceded by an. A derivation from a set of sentences p consists of a sequence of lines that is built up in order, step by step, there each step is in accordance with these provisions. Show line: a show line consists of the word show followed by a symbolic sentence.