Abstract
In which we welcome the reader into the world of ladies and tigers created by Smullyan (2009). We formalised here the twelve puzzles appearing in the chapter Ladies or Tigers from Smullyan (2009). The proof displayed by Prover9 provides the reasoning steps that a human agent should follow to find himself the solution. In this way, Prover9 acts as a tool that augments human reasoning capabilities at problem-solving tasks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chlond, M. J., & Toase, C. M. (2003). IP modeling and the logical puzzles of Raymond Smullyan. INFORMS Transactions on Education, 3(3), 1–12.
Smullyan, R. M. (2009). The lady or the tiger?: and other logic puzzles. Courier Corporation.
van Eijck, J., & Zaytsev, V. (2014). A course in Haskell-based software testing. Technical report, University of Amsterdam.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Groza, A. (2021). Lady and Tigers. In: Modelling Puzzles in First Order Logic. Springer, Cham. https://doi.org/10.1007/978-3-030-62547-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-62547-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-62546-7
Online ISBN: 978-3-030-62547-4
eBook Packages: Computer ScienceComputer Science (R0)