Получите отрицание высказыванию - "я гуляю тогда и только тогда, когда светит солнце". для составления предложения можно использовать только я гуляю светит солнце а или не но ,
Обозначим высказывания. А - я гуляю В - светит солнце. "тогда и только тогда" - это эквиваленция, поэтому получаем A ⇔ B. Отрицание будет иметь вид ¬(А ⇔ В). Попробуем его преобразовать, сведя к комбинации из отрицаний, дизъюнкции и конъюнкции
Переходя к высказываниям, получим: "Солнце не светит, но я гуляю или солнце светит, но я не гуляю".
А - я гуляю
В - светит солнце.
"тогда и только тогда" - это эквиваленция, поэтому получаем A ⇔ B.
Отрицание будет иметь вид ¬(А ⇔ В). Попробуем его преобразовать, сведя к комбинации из отрицаний, дизъюнкции и конъюнкции
Переходя к высказываниям, получим:
"Солнце не светит, но я гуляю или солнце светит, но я не гуляю".