A general method of solving Smullyan’s puzzles
DOI:
https://doi.org/10.12775/LLP.1996.004Abstrakt
In this paper we present a general method of solving Smullyan’s puzzles. We do this by showing how a puzzle is translated into Classical Propositional Calculus.Bibliografia
Smullyan R. M., What is the Name of This Book?, Prentice-Hall, inc, Englewood Cliffs, New Jersey, 1978.
Smullyan R. M., The Lady or the Tiger?, Oxford University Press, 1991.
Pobrania
Opublikowane
27.01.2003
Jak cytować
1.
KOLANY, Adam. A general method of solving Smullyan’s puzzles. Logic and Logical Philosophy [online]. 27 styczeń 2003, T. 4, nr 4, s. 97–103. [udostępniono 18.7.2024]. DOI 10.12775/LLP.1996.004.
Numer
Dział
Artykuły
Statystyki
Liczba wyświetleń i pobrań: 1568
Liczba cytowań: 0