Введем простые высказывания:
 – «Солнце светит»
 – «Ветер дует»
– «Идет дождь»
Тогда высказыванию «Неверно, что если солнце светит, то ветер дует тогда и только тогда, когда идет дождь» соответствует логическое выражение …