Как же называется эта книга   ::   Смаллиан Рэймонд

В повседневной жизни союз "или" иногда интерпретируют так же, как в логике (то есть допускают возможность выполнения обеих альтернатив), а иногда понимают в так называемом "исключительном" смысле (то есть считают, что выполняется одна и только одна из альтернатив, но не обе). В качестве примера "исключительного или" при" веду хотя бы такое высказывание: "Я женюсь на Бетти или на Джейн".

Предполагается, что альтернативы взаимно исключающие, то есть что я не женюсь на обеих девушках одновременно. С другой стороны, если в учебной программе колледжа сказано, что студенты первого курса должны либо прослушать годовой цикл лекций по математике, либо пройти годичный курс иностранного языка, то вряд ли руководство колледжа станет возражать, если вы захотите прослушать и то и другое!

Именно в этом - "включительном" - смысле мы и будем использовать логическую связку "или".

Другое важное свойство дизъюнкции "или... , или" состоит в следующем. Рассмотрим высказывание p или q" (так мы условимся для краткости записывать сложное высказывание "или p, или q"). Предположим, что оно истинно. Тогда если p ложно, то q должно быть истинно (так как по крайней мере одно из высказываний должно быть истинным, то если p ложно, то q должно быть истинным). Предположим, что высказывание "Либо дождик, либо снег" истинно, но неверно, что дождь идет. Тогда должно быть истинно, что идет снег.

Воспользуемся свойствами дизъюнкции и применим их к решению задачи. A высказывает сложное утверждение типа дизъюнкции:

"Или я лжец, или B - рыцарь". Предположим, что A - лжец. Тогда высказанное им утверждение ложно.