7.9.2. Construct formal proofs for all the arguments below. Use equivalence rules, truth functional arguments, and the rules of instantiation and generalization. These may also be proven using the method of tableaux.
6. ∀x(Cx ⊃ ¬Sx), Sa ∧ Sb ∴ ¬(¬Ca ⊃ Cb)
7. ∃xCx ⊃ ∃x(Dx ∧ Ex), ∃x(Ex ∨ Fx) ⊃ ∀xCx ∴ ∀x(Cx ⊃ Gx)
8. ∀x(Fx ⊃ Gx), ∀x[(Fx ∧ Gx) ⊃ Hx] ∴ ∀x(Fx ⊃ Hx)
9. ∃xLx ⊃ ∀x(Mx ⊃ Nx), ∃xPx ⊃ ∀x ¬Nx ∴ ∀x[(Lx ∧ Px) ⊃ ¬Mx]
10. ∀x(Fx ≡ Gx), ∀x[(Fx ⊃ (Gx ⊃ Hx)], ∃xFx ∨ ∃xGx ∴ ∃xHx
11. ∃x(Cx ∨ Dx), ∃xCx ⊃ ∀x(Ex ⊃ Dx), ∃xEx ∴ ∃xDx
12. ∀x[(¬Dx ⊃ Rx) ∧ ¬(Dx ∧ Rx)], ∀x[Dx ⊃ (¬Lx ⊃ Cx)], ∀x(Cx ⊃ Rx) ∴ ∀x(Dx ⊃ Lx)
7.9.3. Using the method of tableaux, give an assignment of values for the predicates of each argument that shows that each argument is invalid.
1. ∀x(Ax ⊃ Bx), ∀x(Ax ⊃ Cx) ∴ ∀x(Bx ⊃ Cx)
2. ∃x(Ax ∧ Bx), ∀x(Cx ⊃ Ax) ∴ ∃x(Cx ∧ Bx)
3. ∀x[(Cx ∨ Dx) ⊃ Ex], ∀x[(Ex ∧ Fx) ⊃ Gx] ∴ ∀x(Cx ⊃ Gx)
4. ∃xMx, ∃xNx ∴ ∃x(Mx ∧ Nx)
5. ∀x[Dx ∨ (Ex ∨ Fx)] ∴ ∀xDx ∨ (∀xEx ∨ ∀xFx)
6. ∃x(Cx ∧ ¬Dx), ∃x(Dx ∧ ¬Cx) ∴ ∀x(Cx ∨ Dx)
We value our customers, and so ensure that our papers are 100 percent original. Our Team of professionals does not miss the mark; they ensure that step by step each paper is written uniquely. We never duplicate or work as we compare papers rest assured. We deliver our work a day before time to ensure that you don’t miss your deadlines. It is not only doing the work but delivering it at the right time. We capture the consequences of late remittances. .
We value customer satisfaction here at popularessaywriters.com and make sure that you get the best value for your Money. It happens that sometimes you can pay twice for your order or may want to cancel it, or you feel that it doesn’t meet your requirements; our money back guarantee will give you the opportunity to get back your money. We will also refund 100% of money paid double. In case your paper does not satisfy your requirements , we request that you notify us via writing within 2 days otherwise on the third day we will assume that you have been satisfied. Do all your correspondences through our email address firstname.lastname@example.org.Read more
At popularessaywriters.com, our professional writers know the consequence plagiarism does for our clients. We have updated software’s such as article checker and copyscape to check for originality of the custom papers before submission of the final paper to the you. Our guarantee to the customer is that we will write 100% original papers for them that are quality, timely and of low cost. We have experienced professional and competent PhD writers who will write quality custom papers for you..Read more
. At popularessaywriters.com, we are proud to provide top-quality Essay writing service to our esteemed customers. We are ready to take up that challenging academic assignment that is giving you sleepless nights and simplify it for you according to your desired requirements. We are willing to revise your paper if it does not meet your requirements. At popularessaywriters.com, we do not compromise with quality; thus, we offer unlimited free revisions until the customer is satisfied with their custom paper. Our unlimited free revision services are provided under the following terms:.. .Read more
Popularessawriters.com knows that client’s information is an essential tool for our company. It means that whatever the client requests from our service is kept strictly confidential. It means that whoever writes for this company understands the terms and conditions hence you should not be worried because you will never see your work somewhere else...Read more
Rest assured that we will always be attentive to your needs and requirements. We belief in the phrase treat your neighbour as you would want them to treat you. We leave nothing to chance and always look forward to a good interaction with each other.. .Read more