Logical statements:
If it is a wild animal, it is dangerous. If it is dangerous, it will hurt you. However, it is not dangerous. Therefore, it is not a wild animal.
Let's denote all the expressions:
w - it is a wild animal
d - it is dangerous
h - it will hurt you
Then the logical chain is such:
w->d
d->h
Conclusion:
Truth table for
Since the only row where contains this logical chain implies , so the argument is valid.
Comments