# 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.

*print*Print*list*Cite

### 1 Answer

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"]