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

Question

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

Answer 1

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