Условие:
Иннокентий выяснил, что умные кошки неигривы и некрасивы. Значит неверно, что умные кошки
А) красивы или игривы
Б) красивы и неигривы
В) некрасивы или неигривы
Решение:
Рассмотрим условие задачи. Иннокентий установил, что умные кошки обладают свойствами «неигривы» и «некрасивы». Это можно записать логически так: (неигривы) ∧ (некрасивы). Найдем отрицание свойства «игривы или красивы». По законам логики отрицание конъюнкции (неигривы и некрасивы) равносильно дизъюнкции противоположных свойств: ¬[(неигривы) ∧ (некрасивы)] = (игривы) ∨ (красивы). Таким образом, если умные кошки неигри...
