AI Tutor
Back to Propositional Logic

Exercise 7

Avg difficulty 2.5

A classic example is that we're on the island of knights and knaves. Knights always tell the truth. Knaves always lie.

We encounter two people A and B.

  • A says: “B is a knight.”
  • B says: “The two of us are opposite types.”

What is the conclusion?

Hammond, Discrete Math for Shockers, §1.1 Propositional Logic, Exercise 7

AI Tutor

Adapted from Discrete Math for Shockers © 2021 John Hammond. Licensed under CC BY-SA 4.0. Source: Discrete Math for Shockers. Imported at revision 2538beb.