Lesson hub

Can't find the answer? Try online tutoring

How it Works

We have the UK’s best selection of online tutors, when and for how long you need them.

Getting 1-on-1 support is cheaper than you might think.

Participating users

Welcome to our free-to-use Q&A hub, where students post questions and get help from other students and tutors.

Follow the trail of responses and if you have anything to add please sign up or sign in.

You can ask your own question or look at similar Applied Mathematics questions.


Hi ashley760,

Regarding axiom form, you're on the right track, but there are some errors. 

First, your translation of (2) is incorrect, because the third variable should be bound by the quantifier. So, (2) should be replaced with 'Vx [ [ I(x) & A(x) ] > Lx ]'. 

Second, your translation of (4) is incorrect, because it says 'if Teena is a baby then Teena is affectionate', not 'Teena is an affectionate baby' (note that the truth of the former is compatible with the falsity of the latter because the antecedent could be false). So, (4) should be replaced with 'B(Teena) & A(Teena)'.

Third, unless the logic you are working with contains only unary predicates (i.e., does not contain binary predicates), then (2) and (3) are incorrect (even given my above correction), because they are not fine-grained enough. So, you should replace the translation of 'L' with 'L(y,x) = y loves x', (2) should be replaced with 'Vx Vy [ [ I(y,x) & A(x) ] > Lx ]', and (3) should be replaced with 'Vx Vy [ L(y,x) > G(x)]'. If you interpret 'is loved by others' as 'is loved by some others', rather than 'is loved by all others' as I have done, then replace the relevant universal quantifier with an existential quantifier.

Regarding the translation from axiom form to clausal form, see the attached document and/or link: https://ocw.mit.edu/courses/health-sciences-and-technology/hst-947-medical-artificial-intelligence-spring-2005/lecture-notes/ch10_logic2a.pdf

I hope this helps.

Best wishes,

Footer Graphic