NOTE: This is a multi-part question. Once an answer is submitted, you will be unable to return to this part.
If we let the domain be all animals, and $S(x) = $"x is a spider", $I(x) = $"x is an insect", $D(x) = $"x is a dragonfly", $L(x) = $"x has six legs", $E(x, y) = $"x eats y", then the premises be
"All insects have six legs," ($\forall x (I(x) \to L(x))$)
"Dragonflies are insects," ($\forall x (D(x) \to I(x))$)
"Spiders do not have six legs," ($\forall x (S(x) \to \neg L(x))$)
"Spiders eat dragonflies." ($\forall x, y (S(x) \land D(y)) \to E(x, y)$)
Ch 01 Sec 6 Ex 10 (c) 3rd - Rules of inference
No conclusions can be drawn from the conditional statement "$\forall x$, If x is an insect, then x has six legs" and the statement "Spiders do not have six legs" using modus tollens.
(You must provide an answer before moving to the next part.)
True or False
