Exercise 10 cont...
For each of these sets of premises, what relevant conclusion or conclusions
can be drawn? Explain the used rules of inference
c) All insects have six legs. Dragonflies are insects. Spiders do not
have six legs. Spiders eat dragonflies.
Predicates
I(x): x is insect
S(x): x has six legs
SP (x): x is spider
D(x): x is dragonfly
E(x, y): x eats y
Answer:
Premises:
x (I(x)
S(x)),
x (D(x)
I(x)),
x (SP (x)
S(x))
x, y (SP (x)
D(y)
E(x, y))
Conclusions:
x (D(x)
I(x)) implies D(a)
I(a) for any a
x (I(x)
S(x)) implies I(a)
S(a) for any a
D(a)
I(a) and I(a)
S(a) implies D(a)
S(a) for any a
D(a)
S(a) for any a implies x (D(x)
S(x))
Ali Moallemi, Iraj Hedayati
COMP232 - Mathematics for Computer Science
7 / 18