Пусть А = «дует ветер», В = «идёт дождь».
Представьте логической формулой следующее высказывание:
«Неверно, что ветер дует тогда и только тогда, когда нет дождя».

Обозначения: \( A \) — «дует ветер», \( B \) — «идёт дождь». Тогда «нет дождя» записывается как \( \neg B \).

Высказывание «ветер дует тогда и только тогда, когда нет дождя» записывается так: \( A \leftrightarrow \neg B \).

Так как в начале сказано «Неверно, что...», перед всей формулой ставим отрицание:

\[ \neg(A \leftrightarrow \neg B) \]

0 0 Пожаловаться