Получите отрицание высказыванию - "Я гуляю тогда и только тогда, когда светит солнце"....

Question

Получите отрицание высказыванию - "Я гуляю тогда и только тогда, когда светит солнце". Для составления предложения можно использовать только Я Гуляю Светит Солнце А Или Не Но ,

Answer 1

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

Переходя к высказываниям, получим:
"Солнце не светит, но я гуляю или солнце светит, но я не гуляю".

Comments

Спасибо