БС
Бехзод Салибаев
Задача по алгебре логики №2. Является ли формула тождественно истиной?
∀x(Ф (x)→P(x)) → (∃x P(x)→∃xP(x))
∀x(Ф (x)→P(x)) → (∃x P(x)→∃xP(x))
Да является.
(∃x P(x)→∃xP(x))=(А->A)-истина
любое-> истина это истина.
А разве тут не та же самая ситуация - справа стоит тождественно верная импликация?
Кстати, у вас в обоих случаях после первого квантора есть пробел, а после второго его нет. Это случайность или что-то значит?