01 Aug Logic 5
7.4 EXERCISES Using the predicates listed for each assertion, “translate” each of the following into quantified logical form.
1. No managers are sympathetic. (Mx, Sx)
2. Everything is in its right place. (Rx)
3. Some cell phones have no service here. (Cx, Sx)
4. Not everything is settled. (Sx)
5. Radiohead concerts are amazing. (Rx, Ax)
6. Nothing is everlasting. (Ex)
7. Not every earthquake is destructive. (Ex, Dx)
8. Very few people do not like Mac computers. (Px, Mx)
9. Only registered voters can vote in the next election. (Rx, Vx)
10. Not everyone disapproves (i.e., does not approve) of the president’s cabinet selections. (Ax)
ASSIGNMENT 2:
7.6 EXERCISES Translate each of the following arguments into quantified form and prove that each is valid using natural deduction. The letters that follow each argument give the predicate letters to use in symbolizing the argument.
5. If all store supervisors are wise, then some employees benefit. If there are some store supervisors who are not wise, then some employees benefit. As you can see, either way, some employees benefit. (S, W, E, B)
6. If someone studies philosophy, then all students benefit. If someone studies literature, then there are some students. So if someone studies philosophy and literature, then someone benefits. (P, B, L, S)
7. Everyone is a Democrat or a Republican, but not both. If someone is a Democrat, then she is a liberal or a conservative. All conservatives are Republican. So all Democrats are liberal. (D, R, L, C)
8. If there are any mavericks, then all politicians are committed to change. If there are any politicians, then anyone who is committed to change is pandering. So, if there are any mavericks, politicians are pandering. (M, P, C, A (for “pandering”))
9. If everyone is a liberal, then no one is a conservative. There is a governor of Alaska and she is a conservative. So at least someone is not a liberal. (L, C, G)
ASSIGNMENT 3: 7.9.1. Prove the following syllogisms valid first using natural deduction and then using the method of tableaux:
·
First Figure, Moods EAE, EIO
· Second Figure, Moods AEE, AOO
· Third Figure, Moods AII, OAO
Fourth Figure, Moods AEE, IAI
ASSIGNMENT 4:
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.
Our website has a team of professional writers who can help you write any of your homework. They will write your papers from scratch. We also have a team of editors just to make sure all papers are of HIGH QUALITY & PLAGIARISM FREE. To make an Order you only need to click Ask A Question and we will direct you to our Order Page at WriteDemy. Then fill Our Order Form with all your assignment instructions. Select your deadline and pay for your paper. You will get it few hours before your set deadline.
Fill in all the assignment paper details that are required in the order form with the standard information being the page count, deadline, academic level and type of paper. It is advisable to have this information at hand so that you can quickly fill in the necessary information needed in the form for the essay writer to be immediately assigned to your writing project. Make payment for the custom essay order to enable us to assign a suitable writer to your order. Payments are made through Paypal on a secured billing page. Finally, sit back and relax.
About Writedemy
We are a professional paper writing website. If you have searched a question and bumped into our website just know you are in the right place to get help in your coursework. We offer HIGH QUALITY & PLAGIARISM FREE Papers.
How It Works
To make an Order you only need to click on “Order Now” and we will direct you to our Order Page. Fill Our Order Form with all your assignment instructions. Select your deadline and pay for your paper. You will get it few hours before your set deadline.
Are there Discounts?
All new clients are eligible for 20% off in their first Order. Our payment method is safe and secure.