Southeast Missouri State University



Self Quiz # 9 Rules on Inference and EquivalencePartial Answer KeyQuestion # 2 Rules of inference may, within truth-functional logic, be validly applied to parts of compound statements or lines in a proof. FALSE, Rules of inference apply to whole lines only. For example, if you have (PQ) R you MAY NOT legitimately infer P Q.Question # 4 The rule of modus ponens indicates that if we have a conditional statement and the affirmation of its consequent, we may validly infer its antecedent. FALSE (I hade an error in the answers—your found it. My bad.)Question # 5 The rule of addition indicates that if we have a disjunction, we may validly infer the denial of one of its disjuncts. FALSE Addition allows us to infer, from any given line, an disjunction which has that line as a disjunct.Question # 8 The rule of addition indicates that if we have al ine, we may validly infer the a disjunction in which the original line is one disjunct. True, see the answer to 5.Question # 15 (A ? (A ? B)) ? B is the corresponding conditional for the argument A, A ? B ? B. TRUE The corresponding conditional is a conditional formed from an argument in which the antecedent is a conjunction of the premises and the consequent is the conclusion. Note that whenever an argument is valid, its corresponding conditional will be a tautology.Question # 20 Which rule of inference is exemplified by the argument (R ? S) ? T ? R ? S? Simplification. I have removed one conjunct from a conjunction. That is nothing bue simplification. ................
................

In order to avoid copyright disputes, this page is only a partial summary.

Google Online Preview   Download