У меня есть это в моих лекционных заметках, о правилах, в которых рыцари всегда говорят правду, а мошенники всегда лгут:
- Если А говорит: «Утверждение« на острове золото »и утверждение« Я
Я рыцарь, оба либо истинны, либо оба ложны », - утверждает он.
где A - утверждение, A - рыцарь, а G - утверждение, что золото
на острове.
- Любое утверждение мошенника имеет то же значение истинности, что и А:
A ≡ (A ≡ G)
(A ≡ A) ≡ G
верно ≡ G
Поскольку A ≡ (A ≡ G), это может быть только первый или третий случай. Следовательно, G
true и A может быть true или false
На этом заметки заканчиваются, я просто не понимаю, почему А не может лгать о том, что он рыцарь, и о том, что золото на острове, я имею в виду, что это просто показывает, что А - мошенник, он все еще должен быть законно, хотя в таблице истинности сказано, что это запрещено (последняя строка), я просто не могу понять, почему.