PHIL 210 Lecture Notes - Lecture 13: Ex-Gay Movement
Document Summary
Sub-proofs formal implementation of proof by cases new element in fitch. Definition: a sub-proof is a second proof conducted within the main proof. S really can be inferred from each of the cases (shown by each sub-proof), then. If and and and then we can write down s in the line of the proof in which we are operating examples pp. 150. 1. when citing sub proofs you cite all the lines where the sub proof takes place e. g. lines 10-16 if you cite three sub proofs, then you cite three groups of line like this. Note : we could have a rule which allows us to move from p to not (not. 2. we want a general rule that allows us to introduce a single negation where possible, not always a pair of negation like not (not p) the special case of p to not (not p) will be covered.