PLEASE GUIDE WHETHER THE TRANSLATION OF THE BELOW STATEMENTS (A AND B) INTO PREDICATE LOGIC ARE CORRECT.

B(x) = where ‘x’ is a Being

R(x) = where ‘x’ is Rational

MC(x) = where ‘x’ deserves Moral Consideration

A(y) = where ‘y’ is animal being.

BC(x) = where ‘x’ Breaks Confinement

R(a) = where ‘a’ is Amber at Risk

*(a)***All beings that deserve moral consideration are rational. Animals are not rational. Therefore,**

*animals do not deserve moral consideration.*__Translation:__B(x) = where ‘x’ is a Being

R(x) = where ‘x’ is Rational

MC(x) = where ‘x’ deserves Moral Consideration

A(y) = where ‘y’ is animal being.

**∀x((B(x) Ʌ R(x)) → MC(x)) Ʌ ∀y (A(y) → ¬ R(y) Ʌ ¬ MC(y))**

**OR**

**∀x(B(x) Ʌ R(x) → MC(x)), ∀y(A(y) → ¬ R(y)) ∴ ∀y(A(y) Ʌ ¬ MC(y))**

*(b)***If someone breaks***confinement, Amber is at risk. No one breaks confinement now, therefore Amber is not at risk**.*__Translation:__BC(x) = where ‘x’ Breaks Confinement

R(a) = where ‘a’ is Amber at Risk

**Ǝx(BC(x) → R(a)) Ʌ ¬Ǝy (BC(y) Ʌ ¬R(a)**

****

**OR****Ǝx BC(x) → R(a), ¬Ǝy (BC(y)**

**∴**¬R(a)
Last edited: