Answer Happy

Use either indirect proof or conditional proof to derive the conclusions of the following symbolized argument. NOTE: Include the numbers of the first and last indented premises when listing the premises that you draw upon to support the premises of you proof that you identify with CP or IP. NOTE: Throughout, in the proof checker tool, CQ, which stands for Change of Quantifier Rule, is used inst of QN, which stands for Quantifier Negation Rule. Please remember to use CQ whenever you wish to apply the Quantifier Negation Rule, QN. А в п . Ex) (x) ( ) [1] CO MP Add DM Com Assos Con Tour ACP CP Dist UP AIP UI UG EG Id MT HS DS CD Simp ON Trans Impl Equiv Exp PREMIS CONCLUSION (x)AX V (x)Bx (X)(AX V Bx) TEEMISE RULT 12 (XX(AX V BX ACP 1 N FEESTIS (XAX V BX) KULE 2.CO SS EMISE X

the Quantifier Negation Rule, QN. A B C D E F x (3x) (x) 2 . V UI EG Id CQ MP UG HS ΕΙ DS MT CD Conj Add Com Simp Exp DM CP Assoc IP Dist DN Trans Impl Equiv Taut ACP AIP PREMISE 1 (3x)(Ax v Ex) = (x)(Bx • Cx) . 2 PREMISE CONCLUSION (3x)(Bx Fx) = (x)(Cx v Dx) (x)(Ax 5 Dx) 3 PREMISE (x)AX RULE AIP RULE 4 PREMISE (@x)AX 3 CO PREMISE 5 Ах эрх RULE 1 UI + c >>

A B C D E n x Ex) (x) . 5 V ( ) ( ) ( ) UI UG ΕΙ EG Id CO MP MT HS DS CD Add DM Com Assoc Simp Exp Conj Taut Dist DN Trans Imp! Equiv ACP СР AIP IP 1 PREMISE (x)(AX > Bx) PREMISE 2 max)AX (x)(CxDx) . 3 PREMISE (9x)(Dx V Ex) = (3x)BX CONCLUSION (3x)Bx PREMISE Kax)Bx +

A B C D E n x (3x) (x) V () [ ] UI UG EL EG Id CO MP MT HS DS CD Add Com Assoc Simp Exp Conj Taut DM CP Dist Equiv ACP AIP IP DN Trans Impl PREMISE (3x)AX (x)(Bx > Cx) 1 PREMISE 2 (ax)DX = (x)(ExBx) 3 PREMISE CONCLUSION (3x)(Cx -Ex) (x)(Ax. Dx) = (3x)Bx PREMISE