Math 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!

Asked By Stan On 10/18/2019 17:57