Ва
Валентина
Задача по алгебре логики. Является ли формула тождественно истиной?
∀x(Ф (x)→P(x)) → (∀x P(x)→∀xP(x))
следующая задача http://otvet.mail.ru/question/80014017
∀x(Ф (x)→P(x)) → (∀x P(x)→∀xP(x))
следующая задача http://otvet.mail.ru/question/80014017
В правой паре скобок стоит тождественно истинное выражение: "если А, то А".Ну, а истинное выражение следует из любого. Так что и вся импликация заведомо истинна.