Can't find the answer? Try online tutoring
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.
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?