Solved

Select the Best Translation into Predicate Logic, Using the Following

Question 196

Multiple Choice

select the best translation into predicate logic, using the following translation key:
a: Ahmed
b: Bhavin
c: Chloe
d: Delfina
e: Eduardo
i: Irving
f(x) : the father of x
g(x) : the mother of x
f(x,y) : the only son of x and y
Lxy: x loves y
Sxy: x is a sister of y
Txy: x teaches y
-No one who loves Chloe's mother is taught by Bhavin's maternal grandfather.


A) (∀x) Lxg(c) ⊃ ∼Tg(f(b) ) x
B) (∀x) [Lxg(c) ⊃ ∼Tf(g(b) ) x]
C) (∀x) [Lxg(c) ⊃ ∼Tg(g(b) ) x]
D) (∀x) [Lxg(c) ⊃ ∼Tg(f(b) ) x]
E) (∀x) [Lxg(c) ⊃ ∼Tg(b) x]

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions