I need help symbolizing the following two sentences using Relational Predicate logic. U.D = people when abbreviating Universal and Existential Quantifiers. Table: (Dx: x is a drug dealer), (Rxy: x...

I need help symbolizing the following two sentences using Relational Predicate logic. U.D = people when abbreviating Universal and Existential Quantifiers.

Table: (Dx: x is a drug dealer), (Rxy: x respects y), (Txy: x trusts y), (g: Gus)

1) Gus is a drug dealer whom everybody respects.

2) Nobody trusts a drug dealer.

Expert Answers
gsenviro eNotes educator| Certified Educator

Using the given table, Dx: x is a drug dealer; Rxy: x respects y; Txy: x trusts y and g: Gus

1) Gus is a drug dealer whom everybody respects: (x)(Rxg Dg)      [think of the statement as "everybody respects Gus, Gus is a drug dealer")

2) Nobody trusts a drug dealer: ~( x)(Txy Dy)                   [Think of this as "nobody trusts someone who is a drug dealer"]