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.
Thanks plato, i need help with teh first two and i cnat figure out how to use La-TEX to imput the universal instantiation and existential instantiation as well.
1. allxthereexistsyTCF(x,y) Any pointers on this one.
Im confused on the firsttwo because it seems like i have to change the universe for cars and im not 100% sure if this is logical correct.
So, although we usually say that stands for the phrase 'For all ...', which is plural, it's more accurate to say that it stands for the phrase 'For each value of ...' which is singular.
Using this way of thinking, then, we need to translate into symbols:
For each value of and each value of , is a train and is a car implies that is faster than .
So this is:
For number (2), although the words used are plural - some trains, some cars - again you need to think in the singular: think of as 'There exists a value of ...' - singular. So we re-write statement (2) as:
There exists a value of and a value of , such that is a train and is a car and is faster than .
Can you do it now?