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.