This preview shows pages 1–3. Sign up to view the full content.

PHIL12A Section answers, 7 March 2011 Julian Jonker 1 Revision problems 1. Translate the following sentences into FOL, devising your own names and predicates where necessary: (a) Block c is a tetrahedron just in case block a is in between block c and block d. Tet(c) Between(a,c,d) (b) Neither block a nor block b is to the left of e or to the right of c. ¬ (LeftOf(a,e) RightOf(a,c)) ∧¬ (LeftOf(b,e) RightOf(b,c)) or ¬ LeftOf(a,e) ∧¬ LeftOf(b,e) ∧¬ (RightOf(a,c) ∧¬ RightOf(b,c) (c) John is his father’s son, provided he is a human being. Human(john) john=son(father(john)) 2. Is ¬ ( A B ) C a tautological consequence of ¬ ( ¬ A ∧ ¬ B ∧ ¬ C ) ? Using the short cut: ¬ ( ¬ A ¬ B ) C ¬ ( A B ) C T F T T F T F F T F T F T F F F F F T Tx F F Tx F T F T F F F F F 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
3. Put the following sentence into Negation Normal Form, showing your working through a chain of equiv- alences: ( ¬ ( ¬ A ∨ ¬ B ) A ) ( ¬¬ D ∧ ¬ ( C ∨ ¬ D )) .
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern