# Why must Rules of Inference be applied only to whole lines, without quantifiers?

Source: A Concise Introduction to Logic (12 Ed, 2014) by Patrick Hurley

[p 415:] Since, however, the first eight of these rules are applicable only to whole lines in an argument, as long as the quantifier is attached to a line these rules of inference cannot be applied—at least not to the kind of arguments we are about to consider. To provide for their application, four additional rules are required to remove quantifiers at the beginning of a proof sequence and to introduce them, when needed, at the end of the sequence. These four rules are called universal instantiation, universal generalization, existential instantiation, and existential generalization.

[p 464:] One further restriction that affects all four of these rules of inference requires that the rules be applied only to whole lines in a proof.

This answer exposes a gap in my understanding: Why can the Eight Rules of Implication apply only to whole lines? Without the above restriction, the argument in the aforesaid post of mine appears to succeed more simply; the proof would start at 11; 3-10 above would never be needed.

• @quen_tin Thank you, but can you please explain more? I still do not comprehend. Even if 1 (in that question) is a more `complex logical form`, if the above is true, then instead of an Indirect Proof, why not use Conditional Proof instead? Then using 1A as the Assumption of the Conditional Proof, you can start the proof at 11; 3-10 above would never be needed. – NNOX Apps Jan 6 '16 at 21:28
• With so many questions on that book, why don't you try another one? Maybe there are better ones with better explanations of the rules. Also there seem to be a mistake since a double negation is eliminated in the proof inside the quantifier. – Quentin Ruyant Jan 6 '16 at 21:29
• nothing prevents you from using conditional proof using 1A. You can make any assumption you like in a conditional proof. The point is that you will not be able to prove the same thing. – Quentin Ruyant Jan 6 '16 at 21:33
• Very often the best way to understand a proof is to start from the end (the aim of the proof). Here start at 19: that's what we want to prove. Strategy: make "not 19" as an assumption (3) and derive a contradiction (17). You cannot skip (3) it's the most important part, and that has nothing to do with the restriction you're referring to here. – Quentin Ruyant Jan 6 '16 at 21:38
• line 6: the negation elimination rule is applied inside the quantifiers. If negation elimination is one of the 8 rules in the passage you quote it clearly contradicts the restriction. – Quentin Ruyant Jan 6 '16 at 21:48