Условие задачи
Записать следующее высказывание: «Неверно, что ветер дует тогда и только тогда, когда нет дождя, и светит солнце» в виде формул логики высказываний, используя логические переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены с помощью каких-либо других высказываний. Для полученной формулы логики высказывания составить таблицу истинности.
Ответ
Для того чтобы записать высказывание в виде формул логики высказываний, разобьем предложение на элементарные высказывания.
Пусть
- А дует ветер;
- В идет дождь;
- С светит солнце.
Вначале предложения стоит наречие неверно, значит, в формуле будет использовано отрицание, которое относится ко всему выражению. Союз и связы...