MathProblemsBank

6.5.2 Исчисление предикатов

Условие: Установить истинность логического выражения двумя методами: 1) по определению кванторов и 2) методом конкретизации. a) \( \forall x \exists y(A(y) \vee B(x))=\exists x A(x) \vee \forall x B(x) \), б) \( \forall x \exists y P(x, y) \Rightarrow \exists x \exists y P(x, y) \).