Напиши ответ

Хорошо, давай разберёмся с этой задачей.

У нас есть два предиката: P(x) — "x - нечётное число" и Q(x) — "x делится на 4". Нам нужно сформулировать высказывания, используя эти предикаты, а затем найти их отрицания.

Для начала посмотрим на первое высказывание: \( Q(y) \). Тут мы просто говорим, что для некоторого y выполняется условие "y делится на 4". Отрицание этого высказывания будет: \( \neg Q(y) \) или "y не делится на 4".

Перейдём ко второму высказыванию: \( \forall x \exists y (P(x) \rightarrow Q(y)) \). Это означает, что для любого числа x существует такое число y, что если x - нечётное, то y делится на 4. Чтобы найти отрицание, применим законы логики (законы де Моргана и закон инверсии импликации). Отрицание этого высказывания будет: \( \exists x \forall y (\neg P(x) \lor \neg Q(y)) \). Это читается как "существует такое число x, что для любого числа y верно, что x - чётное или y не делится на 4".

Осталось последнее высказывание: \( \exists x (P(x) \leftrightarrow Q(x)) \). Это означает, что существует такое x, для которого верно, что "x - нечётное число" тогда и только тогда, когда "x делится на 4". Отрицание будет: \( \forall x (\neg (P(x) \leftrightarrow Q(x))) \), что мы можем переписать