Use predicate calculus to display logical expressions for the following: The universe is ALL entities. You must use the notation that follows:
T(x): Denotes that x is a train
C(x): Denotes that x is a car
F(x,y): Denotes that x is faster that y
D(x,y): Denotes that x is driven by y
j: Denotes Jeff Gordon
- All trains are faster than all cars.
- Some trains are faster than some cars.
- There is a car driven by Jeff Gordon that is faster than every train.