Problem #WSP-000077

Problems Set theory and logic

Problem

We’re told that Leonhard and Carl are knights or liars (the two of them could be the same or one of each). They have the following conversation.

Leonhard says “If \(49\) is a prime number, then I am a knight."

Carl says “Leonhard is a liar".
Prove that Carl is a liar.