Knights, Knaves, Normals, and Neutrals
Jason Rosenhouse · College Mathematics Journal · 2014
SummaryPuzzles about knights and knaves, in which knights only make true statements and knaves only make false statements, are a fun and instructive way of introducing principles of classical logic. There are, however, many systems of non-classical logic as well. We consider what knight/knave puzzles might look like with respect to one such non-classical system: three-valued logic. In this system, all statements are either true, false, of neutral, with the third value applying to statements that are vague, or neither true nor false.