Let D denote the domain of all people. Alex is an individual in D. You are given the following predicates.
- D(x) : x is a doctor
- M(x) : x has a medical license
- K(x, y) : x knows y
- T(x, y) : x trusts y
Translate each statement below into symbolic predicate logic.
- Every doctor has a medical license.
- Everybody knows a doctor whom they trust.
- Alex doesn't know anyone with a medical license.
- Nobody trusts all doctors.