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