T
Timothy G
Guest
Using the symbolization key given, symbolize each sentence in QL.
UD animals
Dx: x is a puupy
Hx: x is lost
Tx: is a Golden Retriever
Fxy: x can run faster than y
r: Tim
1. Tim is a lost Golden Retriever.
2. Some animals can run faster than Tim.
3. All Golden Retrievers are dogs.
4. Some dogs are lost.
5. Not all dogs are lost.
UD animals
Dx: x is a puupy
Hx: x is lost
Tx: is a Golden Retriever
Fxy: x can run faster than y
r: Tim
1. Tim is a lost Golden Retriever.
2. Some animals can run faster than Tim.
3. All Golden Retrievers are dogs.
4. Some dogs are lost.
5. Not all dogs are lost.