Пусть:p - солнце светитq - ветер дуетr - идёт дождь
Тогда высказывание "Неверно, что если солнце светит, то ветер дует только тогда, когда идёт дождь" можно записать следующим образом:
¬(p → (q ↔ r))
Пусть:
p - солнце светит
q - ветер дует
r - идёт дождь
Тогда высказывание "Неверно, что если солнце светит, то ветер дует только тогда, когда идёт дождь" можно записать следующим образом:
¬(p → (q ↔ r))