http: 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,

Matt.