Математическая логика, помогите

Звезды и луна светят, если не светит солнце, солнце светит только тогда, когда день. Кроме того, луна светит тогда, когда не день. Все это верно, если звезды светят тогда и только тогда, когда не день
4 года назад от Эдуард Зайцев

1 ответ

0 голосов
Ну, если не считать, что высказывания ошибочны с т. зр. естественных наук.
Вводите константы "Луна", "Солнце", "Звезды". Затем унарный предикат Светит (х) и предикат "День" без параметров.
Дальше каждое предложение транслируете в части логического выражения, заменя союзы И и запятые - на коньюнкцию, ИЛИ - на дизъюнкцию, ЕСЛИ - на импликацию, НЕ - отрицание, ТОГДА И ТОЛЬКО ТОГДА - на отношение эквивалентности. Ну и сами подумайте, как перевести "тогда, когда".
4 года назад от venusfactorvideo0m6

Связанные вопросы

4 ответов
2 года назад от Лёлик
2 ответов
2 месяцев назад от АРТЕМ ЛОБАНОВ
3 ответов