## Question

###### Consider the natural deduction proof given below. Keep in mind that predicate logic natural deduction still includes the 18 rules of inference from propositiona logic: In predicate logic; singular statement functions such as Ds (for example, "Spot is dog are treated the same way propositiona letters from propositiona _ logic; Uppercase letters through Z are used to represent predicates; lowercase etters through represent individual constants; and lowercase etters through represent individua

Consider the natural deduction proof given below. Keep in mind that predicate logic natural deduction still includes the 18 rules of inference from propositiona logic: In predicate logic; singular statement functions such as Ds (for example, "Spot is dog are treated the same way propositiona letters from propositiona _ logic; Uppercase letters through Z are used to represent predicates; lowercase etters through represent individual constants; and lowercase etters through represent individual variables_ Using your knowledge of the natural deduction proof method and the options provided in the drop-down menus_ fill in the blanks to identify the missing information that completes the proof: (2)(Cz Mz ) (z)~Mz (z)~Cz ~Mx ~Cx (z)~Cz (Use the following tabs if you need help remembering any of the natural deduction rules You have learned 50 far:) NATURAL DEDUCTION RULES AND PROOF METHODS Modus Panens (MP) Modus Tollens (MT) Pure Hypothetical Syllogism (HS) Disjunctive Syllogism (DS) Constructive Dilemma (CD) Addition (Add) De Morgan's Rule (DM) Commutalivity (Com) Associativity (Assoc) Simplification (Simp) Canjunction (Conj) Distribulion (Dist) Double Negation (DN) Transposilion (Trans) Materal Implicalion (Impl) Material Equivalence (Equiv) Exportation (Exp) Tautology (Taut) Conditional Proof (ACP CP) Indirect Proof (AIP IP) Universal Instantialion (UI) Universal Generalization (UG) Existential Instantiation (EI) Existential Generalization (EG)