Knights and knaves many of the questions of this assignment refer to the famous among logic puzzle fans island of knights and knaves. B may be telling the truth, because c is a knave and if b is telling the truth, then a is lying. In order to do mathematics, we must be able to talk and write about mathematics. Knights and knaves problems to teach logic here are some. You are on an island where there are living only two types of people. While walking through a ctional forest, you encounter three trolls guarding a bridge. Pascals pumpkins encourages students to look for patterns in pascals triangle.
Through these challenging problem solving exercises, youll construct the critical thinking skills that are the basis for mathematical reasoning. Unfortunately, there is no easy way of knowing whether a. Perhaps your experience with mathematics so far has mostly involved finding. Raymond smullyan collected dozens of puzzles like this in his book, what is the name of this book. Given their statements below, what can you determine about their identities. There are two native islanders, named alice and bob, standing. Thanks for contributing an answer to puzzling stack exchange. Founded in 2005, math help forum is dedicated to free math help and math discussions, and our math community welcomes students, teachers, educators, professors, mathematicians, engineers, and scientists. Discrete mathematics and its applications, global edition 7th edition edit edition. All the expressions are equivalent, as can be verified using truth tables.
Either all of a, b, c are knights or a and b are knaves, while c is a knight. Puzzles about knights and knaves truthtellers and liars have a long history as pedagogical devices for understanding classical logic. Knights and knaves september, 30 2018 problems many of the questions of this assignment refer to the famous among logic puzzle fans island of knights and knaves. Microsoft word math enrichment week 15 knights and knaves problems. It is assumed that every inhabitant of the island is either a knight or a knave. A says, at least one of us is a knave and b says nothing i dont lie. On the island of knights and knaves, you are approached by three people, jim, jon and joe. Suppose instead that a is a knight, then there are 2 knights. Knights, knaves, and logic practice problems online. On the island of knights and knaves you meet two natives, a and b.
I have a question regarding knights and knaves and logical proposition. Exercises and 14 are set on the island of knights and knaves described in example 7 in section 1. In general, n k is the number ways to select k objects from a group of n objects, order ignored, repetition allowed. A says i am a knave or b is a knight and b says nothing. I have this logic problem that im having trouble with. Knights and knaves encounter two people knights always tell the truth knaves always lie figure out whether each person is a knight or a knave from their statements example. A problemsolving primer, by jenkyns and stephenson. Knight always tell the truth and knaves always lie. A magical island is inhabited entirely by knights who always tell the truth and knaves who always tell lies. Recall that all trolls are either alwaystruthtelling knights or alwayslying knaves. Chris and bob must be knaves, normals, or a mixture of the two since they cannot be knights exactly one.
As you mentioned, if a is a knight, so must be b and c. The name was coined by raymond smullyan in his 1978 work what is the name of this book the puzzles are set on a fictional island where all inhabitants are either knights, who always tell the truth, or knaves, who always lie. On the basis of utterances from some citizens, i must decide what kind they are. Thus some trolls are scared of goats but not all trolls, so some are not scared. Each is either a knight, who always tells the truth, or a knave, who always lies. The riddle of dracula and other logical puzzles, written by raymond smullyan, a mathematician, philosopher, magician, and author. Joint mathematics meeting seattle, wa january 7, 2016. On an island, there are two kinds of inhabitants, knights, who always tell the truth. These puzzles will hopefully get our brain warmed up, and give ourselves an idea of how to think and argue. This demonstration provides a generator of knights and knaves logic puzzlesin english esperanto and french. Mathematics problem of the week problem number 290 solution hypnotherapist an island is inhabited only by knights and knaves.
Use features like bookmarks, note taking and highlighting while reading introductory discrete mathematics dover books on computer science. Now, knights are people who always tell the truth and knaves always lie. Knights, who always tell the truth, and knaves, who always tell lies. But avoid asking for help, clarification, or responding to other answers. Introductory discrete mathematics dover books on computer science kindle edition by balakrishnan, v. As, b knows a is not a knight assumption, thus to make his statement c must be a knight. For example, in terms of propositional logic, the claims, if the moon is made of cheese then basketballs are round, and if spiders have.
You encounter two inhabitants of the island, and a says. Relate to inhabitants of the island of knights and knaves. Rosen is suitable for an introductory course in an undergraduate computer science and mathematics curriculum. On the island of knights and knaves, you are approached by two people. Remember, were still using or inclusively, so when the statement. Welcome back to a series of knights and knaves logic puzzles. If that is the case, c must be lying, for if all 3 were knaves, c would be telling the truth, which is impossible. Susanna s epp discrete mathematics with applications. Popular discrete math books meet your next favorite book.
The book is available for free download from a ucsd internet connection here. Knights and knaves logic puzzles were made popular by the logician and mathematician raymond smullyan. On this island, there are people called knights, who always tell the truth, and people called knaves, who always lie. Book title discrete mathematics and its applications. Feb 11, 2018 there is an island that has two kinds of inhabitants. Discrete mathematics and its applications, by rosen. Apr 01, 2000 discrete mathematics and its applications by kenneth h. Math enrichment week 15 knights and knaves problems. You have just arrived on an island inhabited by two kinds of people. Determine, if possible, what a and b are if they address you in the ways described. On the fabled island of knights and knaves, we meet three people, a, b, and c, one of whom is a knight, one a knave, and one a spy. Each person who lives on this island is either a knight or a knave.
Knights, knaves and normals puzzling stack exchange. Knights, knaves, and logical reasoning fabio papacchini 1 puzzles in these exercises, you have met two natives called, imaginatively, a and b and you wish to establish as much information as you can about their status as knights or knaves. A detective has interviewed four witnesses to a crime. Discrete mathematics and its applications by kenneth h. Knights and knaves puzzles these puzzles have to do with a strange island inhabited by two types of people. These puzzles are about an island in which some natives called knights always tell the truth and others called knaves always lie. An islander call him a made a statement about himself and a friend, call him b. The task is to logically deduce a fact usually on the identity of the knight or knave. When the people on the island speak, the following rules hold.
What are and let be the statement is a knight and be the statement is a knight. In this case, john is a knave and bill is a knight. Remember, everything a knight says is true and everything a knave says is false. Every statement made by a knight is true, while every statment made by a knave is false. A says i am the knight, b says i am the knave, c says i am not the knave. If an inhabitant makes a statement then we may conclude that is a. These riddles take place on an island where there are two types of people, knights, who always tell the truth, and knaves, who always lie. Each of the others in the queue said that the person immediately in front of them in the queue was a knave. Propositional logic studies the ways statements can interact with each other.
Either we are all knaves or at least one of us is a knight. Fundamentals of discrete math for computer science. It is important to remember that propositional logic does not really care about the content of the statements. Discrete mathematics and its applications 7th ed by robert. If i want to solve the puzzle and i assume i have two kinds of citizens. One consists of knights, who always tell the truth and the other consists of knaves, who only lie. Mathematics is concerned with numbers, data, quantity, structure, space, models, and change.
Therefore, a is a knight,knave, knight and b is also a knight,knave, knight. To start the series off, lets have a simple conversation with these knaves and these knights. Knights and knaves scenarios are somewhat fanciful ways of formulating logic problems. The island inhabitants can always tell knights and knaves apart by their appearance, but to you, as an outsider, they look exactly the same. Continuing in this way we see that there is an alternating sequence of knave, knight, knave, knight. Introductory discrete mathematics dover books on computer. In these puzzles, we imagine that there is an island that is home to precisely two kinds of people. Knights always tell the truth, and knaves always lie. The only way to make it false is to make the first clause both bob and i are not knaves true and the second clause all of alice, bob, and i are normals false. What are the maths behind the knights and knaves riddle if.
Apparently this island has a problem with sarcasm as well as liars, you think to yourself. Knights and knaves is a type of logic puzzle where some characters can only answer questions truthfully, and others only falsely. Knights and knaves part 3 matlab cody matlab central. Book solutions discrete mathematics and its applications. K download it once and read it on your kindle device, pc, phones or tablets. Every person on the island is either is a knight or a knave, an no one is both. Youll use limited information to make predictions eliminating the impossible to uncover the truth. Knights and knaves solutions on a certain island there are only two types of people. A method of solving knightsandknaves questions there is an island far o. Given you know that at least one of them is a knave, exactly how many are knaves. The beginning of our introductory math journey is logic. John and bill are residents of the island of knights and knaves. Dec 14, 2017 welcome back to a series of knights and knaves logic puzzles. Statement a is that abcf, so if at it means af, so then af.
These questions concern the island of knights and knaves. Map coloring and networks are also discrete math problems that students can relate to realworld applications. Truth table tutorial discrete mathematics logic duration. One day 25 of the islanders were standing in a queue. These logic puzzles take place on an island with two types of people. Knights, who always tell the truth, and knaves, who always lie. But in this case, both troll 2 and troll 1 would be knaves. Suppose that you meet three people aaron, bohan, and crystal. The first person in the queue said that everybody behind was a knave. The name was coined by raymond smullyan in his 1978 work what is the name of this book. Counting puzzles by how many trolls make each statement. Dec 07, 2017 you might remember a knights and knaves puzzle from the 1986 fantasy film, labyrinth.
Using this motley crew, the book slyly leads us to a puzzlebased statement of godels incompleteness theorem. Alice tells you, \one of zed and i, exactly one is a knight. Knights always tell the truth and knaves always lie. This problem is taken from the ukmt mathematical challenges. This course builds up to some truly mindbending challenges. Since the first part of his statement i am a knave is false,false,true, in order for the whole disjunction this or that to be true, the second part b is a knight ought to be true. From the stories of the witnesses the detective has concluded that. Knights,whoalwaystellthetruth, andknaves,whoalways lie. Relate to inhabitants of the island of knights and. Discrete math knights always tell the truth, knaves always tell a lie and spies can tell the truth or a lie. Discrete math knights always tell the truth, knaves always. Finally, just as you are about to leave the island, you find a group of four islanders named kade, lovelace, maxwell, and nelly, and again you ask what types they are. W3203 discrete%mathemacs% % logic%and%proofs% spring2015% instructor.
Relate to inhabitants of the island of knights and knaves created by smullyan, where knights always tell the truth and knaves always lie. These activities help students use organized lists and systematic counting to solve combination problems. If i am a knave, then there are exactly two knights here. It begins by assuming that the rst speaker is a knight. Discrete math knights always tell the truth, knaves. From discrete mathematics and its applications, a book by kenneth h. Topics include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced problemsolving skills through modelling. Knights and knaves problems to teach logic here are some knights and knaves puzzles that might be good for teaching concepts in logic 1. This is a matlab adaptation of the knights and knaves logical puzzles you are in an island where all inhabitants are either knights, who always tell the truth, or knaves, who always lie. Imagine we are a visitor on smullyan island where everyone is either a knight or a knave. So then it cant be option 8, otherwise abcf and at. Knights and knaves in the classroom discrete mathematics. Knight and knaves logic problem mathematics stack exchange. Johns statement cannot be true, because a knave admitting to being a knave would be the same as a liar telling the lie i am a liar, which is known as the liar paradox.
40 554 955 239 726 1198 417 43 832 363 1409 753 846 586 283 1220 1429 704 603 129 229 544 638 1233 1158 657 255 392 861 413 1401 660 538 1207 253 194 894