Chapter 9—Product Concepts

Spot is a dog. Represented in logic as dog (spot) Logical representation of the fact that . All dogs have tails. Vx: dog(x) has tail (x) Using deductive mechanism of logic new representation object. Has tail (spot) Using backward mapping function generate English sentence spot has … ................
................