Для представления высказываний в языке логики используются логические символы. Основные из них:
- ¬ — отрицание ("не");
- ∧ — логическое "и";
- ∨ — логическое "или";
- → — импликация ("если. то.");
- ↔ — эквивалентность (". тогда и только тогда, когда.").
Теперь запишем каждое из высказываний с использованием этих символов.
1. Если я устал или голоден, я не могу заниматься.
Обозначим переменные:
- ( U ): я устал;
- ( G ): я голоден;
- ( Z ): я могу заниматься.
Высказывание: "Если я устал или голоден, я не могу заниматься".
На языке логики:
[
(U \lor G) \to \neg Z
]
Где ( \lor ) — логическое "или", а ( \neg Z ) — "я не могу заниматься".
2. Студент сдаст экзамен, если он выучил материал, или ему поможет друг.
Обозначим переменные:
- ( E ): студент сдаст экзамен;
- ( M ): студент выучил материал;
- ( D ): другу поможет друг.
Высказывание: "Студент сдаст экзамен, если он выучил материал, или ему поможет друг".
На языке логики:
[
(M \lor D) \to E
]
Где ( \lor ) — логическое "или", а ( \to ) — "если. то.".
3. Если завтра не будет дождя и будет тепло, то можно идти купаться или загорать.
Обозначим переменные:
- ( R ): завтра будет дождь;
- ( T ): завтра будет тепло;
- ( S ): можно идти купаться;
- ( G ): можно идти загорать.
Высказывание: "Если завтра не будет дождя и будет тепло, то можно идти купаться или загорать".
На языке логики:
[
(\neg R \land T) \to (S \lor G)
]
Где ( \neg R ) — "завтра не будет дождя", ( \land ) — логическое "и", ( \lor ) — логическое "или", а ( \to ) — "если. то.".
Итоговые записи:
- ((U \lor G) \to \neg Z)
- ((M \lor D) \to E)
- ((\neg R \land T) \to (S \lor G))
Эти выражения представляют исходные высказывания в языке логики.