- Для составления двух сложных высказываний, одного, которое всегда будет ложным, и другого, которое всегда будет истинным, можно использовать логические операции так, чтобы они учитывали взаимоисключающие или всегда совместные события. Используем переменные A, B, C, D для создания таких высказываний:
Всегда ложное высказывание:
( (A \land B) ) – "На улице одновременно светит солнце и идет дождь". Это высказывание будет ложным, так как обычно, когда светит солнце, дождя нет.
Всегда истинное высказывание:
( \neg (A \land B) ) или ( (\neg A \lor \neg B) ) – "На улице не светит солнце или не идет дождь". Это высказывание всегда истинно, так как хотя бы одно из условий (отсутствие солнца или дождя) всегда выполняется.
- Перевод сложного высказывания ( (A \lor B) \rightarrow C ) на русский язык:
"Если на улице светит солнце или идет дождь, то на улице пасмурная погода".
Это высказывание утверждает, что наличие солнца или дождя влечет за собой пасмурную погоду, что, конечно, может показаться нелогичным с метеорологической точки зрения, так как обычно пасмурная погода исключает яркое солнце. Это перевод отражает структуру логического выражения, но не обязательно реальные метеорологические условия.