Abstract
In which we enter into the world of interwoven family relationships, love, and marriage. The classical “Looking at unmarried people” puzzle has been adapted here for the television series “Friends”. In this puzzle, Monica is looking at Ross, Ross is looking at Rachel. Monica is married; Rachel is not. Is a married person looking at an unmarried person? The answer may seem difficult since we do not know if Ross is married or not. A fan of the “Friends” series would know that even Ross has some difficulties to figure out if he is married or not. You do not have to worry since this is an easy one for Prover9. The chapter continues with puzzles related to lying within mariage, or puzzles asking you to figure out various family relationships.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Danesi, M. (2018). An anthropology of puzzles: The role of puzzles in the origins and evolution of mind and culture. Bloomsbury Publishing.
Dudeney, H. E. (2016). 536 Puzzles and curious problems. Courier Dover Publications.
Gardner, M. (2005). The colossal book of short puzzles and problems. W.W: Norton.
Smullyan, R. M. (1996). The riddle of Scheherazade and other amazing puzzles ancient and modern. New York: Knopf.
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). Love and Marriage. In: Modelling Puzzles in First Order Logic. Springer, Cham. https://doi.org/10.1007/978-3-030-62547-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-62547-4_8
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)