Question: Consider the following interpretation in predicate logic: Domain = { fluffy, thumper, joe, rover, bill, duke, louie, shy, happy } Predicates: R= rabbit, and is
Consider the following interpretation in predicate logic: Domain = { fluffy, thumper, joe, rover, bill, duke, louie, shy, happy } Predicates: R= rabbit, and is true for fluffy, thumper, joe A= animal, and is true for fluffy, thumper, joe, rover, bill, duke, louie L= looks, and is true for (fluffy, happy), (thumper, shy), (thumper, happy), (rover, shy), (joe, shy), (joe, happy), (duke, happy), (louie, happy) Decide whether each of the following formulae is true under this interpretation. xy(R(x)L(y,happy))x(A(x)L(x,happy))x(A(x)R(x)L(x,shy))x(L(x,shy)R(x))x(R(x)L(x,happy))
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
