PLEASE GUIDE WHETHER THE TRANSLATION OF THE BELOW STATEMENTS (A AND B) INTO PREDICATE LOGIC ARE CORRECT.
(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.
(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
(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:
