Question

Section 3: Translate from English into the language of Propositional Logic. Use the letters provided to stand for simple propositions.

16. Mary has seen the Eifel Tower, but she has not seen the Louvre. (E, L)

17. Although Izekiel was exposed to the dangerous virus, he did not contract the horrible disease. (E, C)

18. Kangaroos don’t usually carry very much luggage. (K)

19. Either both the door and the window will remain open or neither of them will. (D, W)

20. Gryffindor will win the Quidditch match if Harry catches the Golden Snitch. (G, H)

21. Catherine will spend the last of her days in the Tower of London unless she gives Henry a son. (S, G)

22. The Gulf of Mexico has a small chance of surviving provided that BP is able to clean up its mistake and no further oil-related disasters occur there. (G, B, D)

23. Aardvarks make bad astronauts and so do Armadillos. (A, M)

24. Destroying the Ring of Power is a necessary condition for defeating Sauron and freeing the people of Middle Earth. (R, D, F)

25. Superman will visit Lois Lane only if Clark Kent does not. (S, K)

Answer 1

16. E & ~L

E = Mary has seen the Eifel Tower.

L = Mary has seen the Louvre.

17. E & ~C

E = Izekiel was exposed to the dangerous virus.

C = Izekiel contracted the horrible disease.

18. ~K

K = Kangaroos usually carry a lot of luggage.

19. (D & W) v ~(D & W)

D = The door will remain open.

W = The window will remain open.

Please post the other questions separately. As per the answering guidelines we are supposed to answer just one question or four sub parts of the same question.