Question

Рыцарь утверждает:
1) Я люблю Бетти или я люблю Джейн
2) Если я люблю Бетти, то я люблю Джейн.
Следует ли из этих высказываний непременно, что он любит Бетти?
Следует ли из них, что он любит Джейн?
Решите с объяснением, пожалуйста.

Answer 1

Рыцарь говорит всегда правду, поэтому оба утверждения истинны.
Предположим, что рыцарь любит Бетти, тогда из второго утверждения следует, что рыцарь любит и Джейн.
Предположим, что рыцарь не любит Бетти, тогда он любит Джейн, это необходимо следует из истинности первого утверждения.
Предположим, что рыцарь не любит Джейн, тогда из истинности первого утверждения следует, что он любит Бетти. И из второго утверждения при этом следует, что он любит Джейн и приходим к противоречию.
Рыцарь любит непременно любит Джейн. При этом неизвестно, любит ли он Бетти.