Predicate Logic Translation

A.H.S

New member
Joined
Apr 19, 2021
Messages
2
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.
∀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:

lex

Full Member
Joined
Mar 3, 2021
Messages
387
These would be my take on it. They may not be the way you want them. It is just my attempt.
1618864670666.png
 
Top