Иннокентий выяснил, что умные кошки неигривы и некрасивы. Определите, какое из следующих утверждений верно: А) умные кошки красивы или игривы Б) умные кошки красивы и неигривы В) умные кошки некрасивы или неигривы

6 ноября 2025
Логика

Условие:

Иннокентий выяснил, что умные кошки неигривы и некрасивы. Значит неверно, что умные кошки

А) красивы или игривы
Б) красивы и неигривы
В) некрасивы или неигривы

Решение:

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