Se Set Use Either Indirect Proof Or Conditional Proof To Derive The Conclusions Of The Following Symbolized Irgument Not 1 (26.98 KiB) Viewed 31 times
Se Set Use Either Indirect Proof Or Conditional Proof To Derive The Conclusions Of The Following Symbolized Irgument Not 2 (36.5 KiB) Viewed 31 times
Se Set Use Either Indirect Proof Or Conditional Proof To Derive The Conclusions Of The Following Symbolized Irgument Not 3 (33.7 KiB) Viewed 31 times
se Set Use either indirect proof or conditional proof to derive the conclusions of the following symbolized irgument NOTE: Include the numbers of the first and last indented premises whers listing the premises Chill you draw upon to support the premises of your 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 instead of QN, which stands for Quantifier Negation Rule. Please remember to use CQ whenever you wish to apply the Quantifier Negation Rule, QN . (1) A B C D Em x (x) () 3 V CO UT UG IC ME MI RS D ON To Til Song Com T ACT AL 1 COAX BX) C# CONCLUSION CAVITE 2 CO-AX VD (EX TRYMIST - VEX AIP - 2
A B C D E m x (Ex) (x) 3 2 . U V ill = () { [ 1 CQ UI UG EL EG Id MP MT HS DS CD Conj Add DM Com Assoc Simp Exp Dist DN Trans Impl Equiv Taut ACT CP AIP IP PREMISE 1 (2x)Ax = (3x)(BxCx) cl 2 CONCLUSION (x)(Ax » Ex) PREMISE (3x)Cx = (x)(Dx. Ex) PREMISE 3 -(x)(Ax > Ex) RULE AIP 4 PREMISE (3x)-(Ax > Ex) RULE 3 CQ RULE 5 PREMISE (8x)-(-Ax V Ex) 4 Impl PREMISE (3x)(Ax • Ex) RULE 5 DM
A B C m n x (x) (x) 3 . V ( ) { } [] CQ UI ΕΙ EG Id UG HS MP MT DS CD Simp Add DM Com Assoc Conj Taut Dist DN Trans Imp! Equiv Exp ACP IP CP AIP PREMISE 1 (x)Ax = (3x)(BxCx) 2 PREMISE CONCLUSION (x)(Cx 5 Bx). (x)Ax = (3x)Cx RULE 3 PREMISE (x)AX ACP PREMISE Ca Ba 4 RULE 2 U1 X RULE 5 PREMISE (x)AX Ex)Cx + 34 CP
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!