Рассмотрим данное высказывание «Неверно, что светит солнце или поют птицы». Для этого переведем его в логическую форму.
Определим переменные:
- А: "Светит солнце"
- В: "Поют птицы"
Оригинальное высказывание — это «Неверно, что А или В». В логической форме это можно записать как:
- ¬(А ∨ В), где ¬ — логическое отрицание, ∨ — логическое "или".
Теперь разберёмся с вариантами:
- (А и НЕ В): это выражение означает, что светит солнце и птицы не поют. Это не соответствует исходному высказыванию.
- НЕ (А и В): это выражение означает, что не верно, что и солнце светит, и птицы поют. Это не соответствует исходному высказыванию.
- НЕ (А или В): именно это выражение соответствует нашему анализу, т.е. неверно, что светит солнце или поют птицы. Это правильный вариант.
- А или НЕ В: это выражение означает, что светит солнце или птицы не поют. Это также не соответствует исходному высказыванию.
- НЕ А и НЕ В: это означает, что светит солнце не и птицы не поют. Это не соответствует исходному высказыванию.
Таким образом, верная запись в символьном виде для высказывания «Неверно, что светит солнце или поют птицы» — это НЕ (А или В).