Create a dictionary of all atomic sentences

Reference no: EM13322048

For each argument, (a) create a dictionary of all atomic sentences, (b) translate each sentence into LSL, and (c) use a truth table or other appropriate method discussed in class to determine whether the argument is truth-functionally valid.

1. If Sean does the dishes, Nick will cook dinner. And if Nick cooks dinner, Andrew will come over. So Andrew will come over provided that Sean does the dishes.

2. Mimi won't come to the party. That's because Laura will come only if Mimi comes, but Leena won't come.

3. Either Melissa is at the library or she's not. If she's there, then she's holding a study group. But she's reading at home provided that she's not at the library. So Melissa is either holding a study group or reading at home.

4. If there's unnecessary evil in the world, then either God is not the sort of thing that can be good/bad or God doesn't exist. Since God does exist, either God is not the sort of thing that can be good/bad or there's no unnecessary evil in the world.

5. Rich people will move back to the city only if we both fix the school system and ensure that the crime rate doesn't increase. But if rich people move back into the city, the crime rate will increase. Hence, rich people won't move back into the city whether or not we fix the school system.

Reference no: EM13322048

Questions Cloud

When a company is growing globally : When a company is growing globally this is an example of:

What is the expression for kinetic energy : What is the expression for kinetic energy? what are the different electronic shells in an atom?

Benefits of divisional structure : Why would management choose, "divisional structure?" what are the benefits of , "divisional structure, within an organization"

Syllogisms by the traditional method of rules and fallacies : Test the validity of the following syllogisms by the traditional method of rules and fallacies, after arranging them into standard form(wherever necessary):

Create a dictionary of all atomic sentences : For each argument, (a) create a dictionary of all atomic sentences, (b) translate each sentence into LSL, and (c) use a truth table or other appropriate method discussed in class to determine whether the argument is truth-functionally valid.

Correctly applying kant''s categorical imperative : A rule necessary for correctly applying Kant's Categorical Imperative is

Common legal implication in denigration of rights cases : Tragedy of the Commons refers to a common legal implication in denigration of rights cases. The common law system evolved in Spain over hundreds of years. Favorable politics has been a major force in facilitating international trade in services.

Line of high quality name brand riding lawnmowers : Company X makes a line of high quality "name brand" riding lawnmowers that are marketed themselves at their independently owned stores. Company X also makes riding lawnmowers that are sold at retailers such as home improvement stores. (These riding l..

Admission and charge capture processess : Admission and charge capture processess. How do they relate to claim form data requirements on the UB-04?

User Account

All Pages