он нарушает правило, так как бреет одного из тех, кто бреется сам. Если же
цирюльник не бреет самого себя, то он опять-таки нарушает правило, так как не
бреет одного из тех, кто не бреется сам. Ответ заключается в том, что
существование такого цирюльника невозможно.
11. Для следующих рассуждений построить их буквенную форму и проверить с
помощью диаграммы Венна, правильна ли эта форма:
а) «если все квадраты являются прямоугольниками, то некоторые
прямоугольники не являются квадратами»;
б) «если ни один кит не может летать, то ни один летающий предмет не
является китом»;
в) «если некоторых хищников можно приручить и все львы хищники, то
некоторых львов можно приручить».
Решение: а) обозначим x – квадрат; y – прямоугольник. Тогда буквенная форма
рассуждения имеет вид: «Если все x являются y, то некоторые y не являются x».
Чтобы проверить правильность этой формы, обозначим через А и В множества,
содержащие соответственно элементы x и y. Тогда условие примера можно
записать так:
. На диаграмме Венна это условие изображается следующим
образом:
B
A
A=B
Поскольку возможен случай А=В (все прямоугольники являются квадратами), то
рассуждение неправильное. В случае
неправильное рассуждение приводит к
истинному заключению (не всякий прямоугольник является квадратом);
б) обозначим x – кит, y – летающий предмет. В буквенной форме это рассуждение
звучит так: «Если ни один x не является y, то ни один y не является x». Обозначим
через А и В множества соответственно элементов x и y. Тогда условие примера
означает, что