A general method of solving Smullyan’s puzzles

Adam Kolany

DOI: http://dx.doi.org/10.12775/LLP.1996.004

Abstract


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.

Full Text:

PDF

References


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.








logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism