Для того чтобы установить соответствие между высказываниями и логическими выражениями, нужно сначала преобразовать каждое из высказываний в логическую форму:
"На уроках информатики ученики осваивают редактор презентаций и текстовый процессор."
- Логическое выражение: P ∧ Q (где P - "ученики осваивают редактор презентаций", Q - "ученики осваивают текстовый процессор").
"Неверно, что 11 - чётное число."
- Логическое выражение: ¬R (где R - "11 - чётное число").
"На экзамене по информатике можно написать программу для управления Роботом или запрограммировать вычислительный алгоритм."
- Логическое выражение: S ∨ T (где S - "написать программу для управления Роботом", T - "запрограммировать вычислительный алгоритм").
Теперь у нас есть три логических выражения, соответствующие трем высказываниям. Установка соответствия может выглядеть так:
- "На уроках информатики ученики осваивают редактор презентаций и текстовый процессор." → P ∧ Q
- "Неверно, что 11 - чётное число." → ¬R
- "На экзамене по информатике можно написать программу для управления Роботом или запрограммировать вычислительный алгоритм." → S ∨ T
Таким образом, связи установлены.
