Упражнение 1.
Давайте запишем каждое из данных высказываний в виде логических выражений.
Если Маша - сестра Саши, то Саша - брат Маши.
Логическое выражение: \( A \rightarrow B \)
где \( A \): "Маша - сестра Саши", \( B \): "Саша - брат Маши".Если компьютер включен, то можно на нем работать.
Логическое выражение: \( C \rightarrow D \)
где \( C \): "Компьютер включен", \( D \): "Можно работать на нем".Водительские права можно получить, только когда исполнится 18 лет.
Логическое выражение: \( E \rightarrow F \)
где \( E \): "Исполнилось 18 лет", \( F \): "Можно получить водительские права".Компьютер выполняет вычисления, если он включен.
Логическое выражение: \( C \rightarrow G \)
где \( G \): "Компьютер выполняет вычисления".Ты можешь купить в магазине продукты, если у тебя есть деньги.
Логическое выражение: \( H \rightarrow I \)
где \( H \): "У тебя есть деньги", \( I \): "Ты можешь купить продукты".Тише едешь - дальше будешь.
Логическое выражение: \( J \rightarrow K \)
где \( J \): "Ты едешь тихо", \( K \): "Ты будешь дальше".На уроке информатики необходимо соблюдать особые правила поведения.
Логическое выражение: \( L \rightarrow M \)
где \( L \): "На уроке информатики", \( M \): "Необходимо соблюдать особые правила".При замерзании воды выделяется тепло.
Логическое выражение: \( N \rightarrow O \)
где \( N \): "Вода замерзает", \( O \): "Выделяется тепло".
Упражнение 2.
Теперь построим сложные высказывания из простых, используя логические связки "И" (∧) и "ИЛИ" (∨).
Андрей старше Светы. Наташа старше Светы.
Логическое выражение: \( P \land Q \)
где \( P \): "Андрей старше Светы", \( Q \): "Наташа старше Светы".
Истинность: Если оба утверждения истинны, то всё высказывание истинно.Один десятый класс идет на экскурсию в музей. Второй десятый класс идет в театр.
Логическое выражение: \( R \lor S \)
где \( R \): "Один класс идет в музей", \( S \): "Второй класс идет в театр".
Истинность: Если хотя бы одно из утверждений истинно, то всё высказывание истинно.На полке стоят учебники. На полке стоят справочники.
Логическое выражение: \( T \land U \)
где \( T \): "На полке стоят учебники", \( U \): "На полке стоят справочники".
Истинность: Если оба утверждения истинны, то всё высказывание истинно.Часть детей - девочки. Остальные - мальчики.
Логическое выражение: \( V \lor W \)
где \( V \): "Часть детей - девочки", \( W \): "Остальные - мальчики".
Истинность: Если хотя бы одно из утверждений истинно, то всё высказывание истинно.
Основные логические операции
Используйте для практики указанные обозначения:
- \( A \land B \) – И
- \( A \lor B \) – ИЛИ
- \( A \rightarrow B \) – Если A, то B
Таким образом, вы можете.stringify logические высказывания в соответствии с данными примерами. Удачи вам в учёбе!
