3. Переформулируйте следующие предложения в форме высказываний, используя соответствующие обозначения предикатов:
а) Все группы москвичей учатся на оценки «хорошо» и «отлично».
б) В данной группе отсутствуют студенты, которые старше...
а) Все группы москвичей учатся на оценки «хорошо» и «отлично».
б) В данной группе отсутствуют студенты, которые старше...
Ящик
а) Пусть \( G(x) \) - "x является группой москвичей", а \( S(x) \) - "x учится на оценки "хорошо" и "отлично"". Тогда мы можем переформулировать предложение а) следующим образом: "Для всех групп москвичей верно, что они учатся на оценки "хорошо" и "отлично"." Формально это будет выглядеть как \( \forall x (G(x) \Rightarrow S(x)) \).
б) Пусть \( G(x) \) - "x является данной группой", а \( S(x) \) - "x старше". Тогда мы можем переформулировать предложение б) следующим образом: "В данной группе отсутствуют студенты, которые старше." Формально это будет выглядеть как \( \neg \exists x (G(x) \land S(x)) \).
б) Пусть \( G(x) \) - "x является данной группой", а \( S(x) \) - "x старше". Тогда мы можем переформулировать предложение б) следующим образом: "В данной группе отсутствуют студенты, которые старше." Формально это будет выглядеть как \( \neg \exists x (G(x) \land S(x)) \).
Знаешь ответ?