HTW Berlin Fachbereich 4 Internationaler Studiengang Internationale Medieninformatik (Master) Semantic Modeling Summer Term 2024

Lab 7: Logic

1. From these Lewis Carroll puzzles choose one from puzzle 6-10, one from puzzle 12-15, one from puzzle 18-21, and puzzle 25. What can you deduce from the axioms using logic rules?
2. What kinds of statement can't you deduce from these rules?

Prepare a report detailing what you did. You should work in groups of 2 or 3. Submit your written report (everyone should have their own copy submitted) to the Moodle area by 22.00 the evening before the session it is due.