Выделить в сложном суждении простые и обозначить их буквами. Представить сложное суждение в виде логического выражения: «На каникулах я поеду в Трускавец или Новгород, а мой друг поедет в Ялту или в Сочи.»
Выделить в сложном суждении простые и обозначить их буквами. Представить сложное суждение в виде логического выражения: «На каникулах я поеду в Трускавец или Новгород, а мой друг поедет в Ялту или в Сочи.»
Простые суждения в данном случае:
Обозначим их буквами:
Логическое выражение: (P ∨ Q) ∧ (R ∨ S)
Чтобы выделить в сложном суждении простые и представить его в виде логического выражения, сначала необходимо определить все простые суждения, которые составляют исходное сложное суждение. Рассмотрим суждение:
«На каникулах я поеду в Трускавец или Новгород, а мой друг поедет в Ялту или в Сочи.»
Разделим это суждение на простые. В данном предложении выделяются следующие простые суждения:
Обозначим эти простые суждения буквами:
Теперь сформулируем сложное суждение в виде логического выражения. Используем символы логических операций:
Исходное сложное суждение можно записать как:
«Я поеду в Трускавец или Новгород» можно записать как ( P ∨ Q ).
«Мой друг поедет в Ялту или в Сочи» можно записать как ( R ∨ S ).
Союз «а» в данном контексте логически эквивалентен союзу «и», то есть конъюнкции. Тогда всё сложное суждение можно записать как:
[ (P ∨ Q) ∧ (R ∨ S) ]
Таким образом, исходное сложное суждение «На каникулах я поеду в Трускавец или Новгород, а мой друг поедет в Ялту или в Сочи» представлено в виде логического выражения:
[ (P ∨ Q) ∧ (R ∨ S) ]
где:
