Итак, A должен быть рыцарем. Следовательно, верно также, что если B — рыцарь, то A — лжец (потому что A настаивает на истинности этого высказывания). Тогда B не может быть рыцарем, так как в противном случае A должен бы быть лжецом, а он им не является[2]. Следовательно, B — лжец.
114. A в действительности утверждает: «Не верно, что X виновен, а Y не виновен». Но это то же самое, как если бы A утверждал: «Либо X не виновен, либо Y виновен». Следовательно, A и B в действительности утверждают одно и то же, но выражают свою мысль по-разному. Таким образом, утверждения, приведенные в задаче, либо оба истинны, либо оба ложны, поэтому A и B должны быть однотипными.
115. Предположим, что A — рыцарь. Тогда B также рыцарь (по утверждению A). Следовательно, высказывание B «Если A — рыцарь, то C — рыцарь» истинно. Но (по предположению) A — рыцарь. Следовательно, C — рыцарь (в предположении, что A — рыцарь).
Итак, мы доказали, что если A — рыцарь, то C — рыцарь[3]. Именно это и утверждал B. Следовательно, B — рыцарь. Значит, высказывание A о том, что B — рыцарь, истинно, поэтому A также рыцарь. Итак, мы доказали, что если A — рыцарь, то C — рыцарь. Следовательно, C также рыцарь. Значит, все трое — рыцари.
116. Из приведенных в задаче высказываний не следует, что я люблю Бетти, но следует, что я люблю Джейн. В том, что я люблю Джейн, можно убедиться при помощи, например, таких рассуждений.
Я либо люблю Бетти, либо не люблю ее. Если я не люблю Бетти, то по условию (1) я должен любить Джейн (так как в задаче сказано, что я люблю по крайней мере одну из девушек). С другой стороны, если я люблю Бетти, то по условию (2) должен любить и Джейн. Значит, независимо от того, люблю ли я или не люблю Бетти, мы приходим к выводу, что я люблю Джейн.
Замечу, кстати, что тем из читательниц, кого зовут Бетти, огорчаться было бы преждевременно: хотя из условий задачи не следует, что я люблю Бетти, из них не следует, что я не люблю Бетти. Вполне возможно, что я люблю и ее, причем даже больше, чем Джейн.
117. На этот раз из условий задачи не следует, что я люблю Джейн, но следует, что я люблю Бетти. Действительно, предположим, что я не люблю Бетти. Тогда утверждение «Если я люблю Бетти, то я люблю Джейн» должно быть истинным (так как из ложного утверждения следует любое утверждение). Но по условиям задачи если это утверждение истинно, то я должен любить Бетти. Значит, если я не люблю Бетти, то из этого можно заключить, что я люблю ее, и мы приходим к противоречию. Единственный способ избежать противоречия состоит в признании того, что я люблю Бетти.
