Exercise 10
For each of these sets of premises, what relevant conclusion or conclusions
can be drawn? Explain the rules of inference used to obtain each
conclusion from the premises.
a) If I play hockey, then I am sore the next day. I use the whirlpool if
I am sore. I did not use the whirlpool.
Predicates:
H(x): I play hokey on day x
S(x): I am sore on day x
W (x): I use whirlpool on day x
Answer: Premises:
H(x
1)
S(x)
S(x)
W (x)
W (x)
Conclusions:
S(x)
W (x) and W (x) implies S(x)
H(x
1)
S(x) and S(x) implies H(x
1)
H(x
1)
S(x) and S(x)
W (x) implies H(x
1)
W (x)
Ali Moallemi, Iraj Hedayati
COMP232 - Mathematics for Computer Science
5 / 18