Question

14. True or False Aa Aa Use your knowledge of natural deduction in propositional logic and your knowledge of the rules of implication to determine wichof the following statements are true. Place a check mark in the box beside each true statement. You cannot apply any rules of implication to parts of whole lines The addition (Add) rule always yields a disjunction as its conclusion. Addition (Add) allows you to connect together with a dot the propositions on any previous two proof lines. You cannot use simplification (Simp) to directly obtain the right-hand conjunct of a conjunction. You cannot apply the simplification (Simp) rule to the proposition (Z. R) F □ If you are trying to prove a disjunction, you should consider obtaining it by conjunction Con, after first obtaining each of the disunc s independently You cannot apply the simplification (Simp) rule to the proposition (ZR) .F □ If you need to prove a conjunction, you should consider obtaining it by the conjunction (Con) rule by first obtaining the individual conjuncts □ To use addition (Add) properly, you should connect a new proposition with a wedge to the left-hand side of a proposition on a previous proof line. Constructive dilemma (CD) requires that you cite three previous line numbers as justification for the new line.

Answer 1

9 sill wit thu lims t a true