Что в голове у препода? Есть предложения? логика предикатов

[ZhenyaKa]

Для его выполнения необходимо использовать кванторы "существует" и "для любого" и операции математической логики и перевести предложения с русского на язык предикатов.
Все суть S или все суть P.

Мое решение
Все суть S или все суть P.

$\[\forall x(S{\text{(}}x)) \cup \forall x(P{\text{(}}x))\]$

получаю рецензию:



все ж вроде правильно. или все-таки тут есть ошибка?

[bot]

В формуле вместо $\cup$ надо $\vee$.
Что сказано на русском, мне стало понятно только из формулы. Если в голове у препода было иное, то мне сие неведомо.

[ZhenyaKa]

bot в сообщении #318790 писал(а):

В формуле вместо $\cup$ надо $\vee$.
Что сказано на русском, мне стало понятно только из формулы. Если в голове у препода было иное, то мне сие неведомо.

это же одно и то же обозначение оператора "или"

[Mitrius_Math]

Нет, $\cup$ - объединение множеств, а $\vee$ - дизъюнкция (логическое "или").