Academic Integrity: tutoring, explanations, and feedback — we don’t complete graded work or submit on a student’s behalf.

sing the predicates Shown and approprilate quantiriersmatch each or the foiowing

ID: 3145704 • Letter: S

Question

sing the predicates Shown and approprilate quantiriersmatch each or the foiowing Engilsh sentences with itS corresponding symbolic form R(x): x is a rabbit H(x): x hops K(x): x is a kangaroo L(x): x is lazy and the domain of x is all animals If an animal doesn't hop, then it is not a rabbit or a kangaroo An animal hops if and only if it is a rabbit or kangaroo Lazy rabbits don't hop If an animal hops, then it's a rabbit Choose... (vx) [ H(x) (R(x)VK(x))] {(vx) [K(x) H(x))) ^ {(3x) (R(x)/L(x)^-H(x))) (vx) H(x) (3x) (H(x)A(x)) (Bx) (H()A R(x)) (vx) [H(x) (R(x)vK(x)] (vx) [ H(x) ++ ( R(xjvKx) ) ] (vx) [H(x)A( (ax) -R(x) (vx) [-(R(x)vK(x))- -Hx) (ax) (H(X)A R(x)AK(x)) (x) [(R(x)^L(x) ) -H( (vx) [R(x) ( Any animal that hops is a rabbit or a kangaroo All animals hop All kangaroos hop but some lazy rabbits don't hop There is an animal that hops only if it is a rabbit All animals are rabbits and hop There are animals that hop but are not rabbits and not kangaroos Choose.. Choose... Choose... Some animals that hop are not rabbits Choose...

Explanation / Answer

Please mark both side next time onwards to avoid confusion.

Right now I will use the number L1, L2, L3 for statements and R1, R2, R3.. for symobol representation.

L1 = R1

L2 = R6

L3 = R12

L4 = R8

L5 = R6

L6 = R3

L7 = R2

L8 = R13

L9 = R4

L10 = R11

L11 = R5