Exercise 10 cont...
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.
b) If I work, it is either sunny or partly sunny. I worked last Monday
or I worked last Friday. It was not sunny on Tuesday. It was not
partly sunny on Friday
Predicates:
W (x): I work on day x,
S(x): day x is sunny,
P (x): day x is partly sunny.
Answer: Premises:
W (x)
S(x)
P (x),
W (M onday)
W (F riday)
S(T uesday),
P (F riday)
Conclusions:
W (x)
S(x)
P (x) and W (M onday)
W (F riday) implies
S(M onday)
P (M onday)
S(F riday)
P (F riday)
S(M onday)
P (M onday)
S(F riday)
P (F riday) and
S(T uesday) and P (F riday) implies
S(M onday)
P (M onday)
S(F riday)
Ali Moallemi, Iraj Hedayati
COMP232 - Mathematics for Computer Science
6 / 18