document.write( "Question 1210176: Use the quantifier negation rule together with the eighteen rules of inference to derive the conclusion of the following symbolized argument. Do not use either conditional proof or indirect proof. (Complete the proof in the logic tool. See the Getting Started text for further instructions. Select the Submit button to grade your response.)
\n" ); document.write( "Step Argument Justification
\n" ); document.write( "1. (∃x)Ax ⊃ [(∃x)Bx ∨ (x)Cx]
\n" ); document.write( "2. (∃x)(Ax ⦁ ~Cx)
\n" ); document.write( "3. ~(x)Cx ⊃ [(x)Fx ⊃ (x)~Bx] / (∃x)~Fx
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #851479 by CPhill(1959)\"\" \"About 
You can put this solution on YOUR website!
```
\n" ); document.write( "1. (∃x)Ax ⊃ [(∃x)Bx ∨ (x)Cx] Premise
\n" ); document.write( "2. (∃x)(Ax ⦁ ~Cx) Premise
\n" ); document.write( "3. ~(x)Cx ⊃ [(x)Fx ⊃ (x)~Bx] Premise
\n" ); document.write( "4. Ax ⦁ ~Cx EI 2
\n" ); document.write( "5. Ax Simp 4
\n" ); document.write( "6. ~Cx Simp 4
\n" ); document.write( "7. (∃x)Ax EG 5
\n" ); document.write( "8. (∃x)Bx ∨ (x)Cx MP 1, 7
\n" ); document.write( "9. ~(x)Cx DN 6
\n" ); document.write( "10. (∃x)~Cx QN 9
\n" ); document.write( "11. (x)Fx ⊃ (x)~Bx MP 3, 9
\n" ); document.write( "12. ~(x)~Bx ⊃ ~(x)Fx Contra 11
\n" ); document.write( "13. (∃x)Bx ∨ (∃x)~Bx Tautology
\n" ); document.write( "14. (x)Cx ∨ ~(x)Cx Tautology
\n" ); document.write( "15. (∃x)Bx ∨ ~(x)Cx Add 8
\n" ); document.write( "16. (∃x)Bx ∨ (∃x)~Cx Replace 10, 15
\n" ); document.write( "17. (∃x)~Bx ∨ (∃x)Bx Comm 16
\n" ); document.write( "18. (∃x)~Bx DS 10, 16
\n" ); document.write( "19. ~(x)Fx MP 12, 18
\n" ); document.write( "20. (∃x)~Fx QN 19
\n" ); document.write( "```
\n" ); document.write( " \n" ); document.write( "
\n" );