Solution: Let "(n) denote "n > 4 and Q(n;) denote Un l' 4. 'It follows by universal modus ponens that QI(H') is true, namely that i002 2 IOO.,. 1 1'another useful combination of a rule of inference from propositional I.ogi,c and a. Ru,e of inference for quantified stat'e
Solution: Let "(n) denote "n > 4 and Q(n;) denote Un l' 4. 'It follows by universal modus ponens that QI(H') is true, namely that i002 2 IOO.,. 1 1'another useful combination of a rule of inference from propositional I.ogi,c and a. Ru,e of inference for quantified stat'e
Solution: Let "(n) denote "n > 4 and Q(n;) denote Un l' 4. 'It follows by universal modus ponens that QI(H') is true, namely that i002 2 IOO.,. 1 1'another useful combination of a rule of inference from propositional I.ogi,c and a. Ru,e of inference for quantified stat'e