Question

How do we represent the above facts in
1)axiom form and
2)clausal form

1) All babies are innocent
2) Anyone who is innocent and affectionate will be loved by others
3) Anyone who is loved by others, will receive gifts
4) Teena is an affectionate baby

My thoughts on the question : (Let Vx and Ex denote universal and existential quantifiers respectively )

Let B(x) denote x is a baby
I(x) denote x is innocent
A(x) denote x is affectionate
L(x) denote x is loved by others
G(x) denote x receives a gift

Axiom Form :
1) Vx[ B(x) --> I(x) ]
2) Vx[ I(x) ^ A(x) ] --> L(x)
3) Vx [ L(x) --> G(x) ]
4) B(Teena) --> A(Teena)

Have I done the first part correctly?


And how do we do the second part?

Thanks!