Download now Free registration required
The consequence relation and perfect usage of derivation is a necessary knowledge for layers, economists, engineers and for hundreds of other different professionals. Students in the low and mid level education system are able to solve simple logical puzzles without any special training, but some of the puzzles in Smullyan's books present a challenge even for university students. Some of the logic and artificial intelligence courses contain methods for examining deductions and the students might even use special tools and software to facilitate the process. This paper would like to show that the well-known spreadsheet software is a great tool to solve puzzles that can be expressed in sentence (or in zero-order) logic.
- Format: PDF
- Size: 144.7 KB