Задачка ∃x∀y P(x,y)→∀y∃x P(x,y) в чистом исчислении предикатов.

Решаем задачку из предыдущего ролика.
Back to Top