In a classic scene from the Monty Python movie, “The Holy Grail”, villages use their own brand of logic to try to prove a young woman is a witch. It goes something like this:
l if a girl burns she is a witch
l wood burns
l wood floats
l ducks float
l something that weighs the same as a duck must be wood
The girl in the scene then had the misfortune of being found to weigh the same as a duck.
In Professor Pletch's Discrete Math class students recently
completed a component on set theory and logic. Part of the course material
was an introduction to the prolog programming language.