Symbolizing Claims
Symbolize the following claims using the following claim variables.
C - You clean up your room
M - I will take you to the movies
R - I will take you to a restaurant
F – I find my car keys
1. If you clean up your room I will take you to the movies.
2. If you clean up your room and if I find my car keys, I will take you to the
movies.
3. If you clean up your room I will take you to a restaurant.
4. If you don’t clean up your room I won’t take you to the movies.
5. If you clean up your room and make your bed I will take you to a
restaurant and to the movies.
6. I will only take you to the movies if I find my car keys.
Symbolize the following claims using the following claim variables.
7. If we plant from seed, we’ll have to plant annuals.
8. We can plant perennials only if we plant from cuttings.
9. The only way we can plant from seed is to plant annuals.
10. If we plant both annuals and perennials, then we can plant from both
seed and cuttings.
11. We cannot plant perennials if we plant from either seed or from
cuttings.