Условие:
Какие из нижеприведенных формул являются тождестивенно истинными:
а) Ɐy(P1.(x))&Ɐy (P2.(x))→Ɐy(P1.(x)&(P2.(x));
б) Ɐy(P1.(x)∨(P2.(x))→Ɐy(P1.(x))∨Ɐy (P2.(x))
Решение:
а) Ɐy(P1.(x))Ɐy (P2.(x))Ɐy(P1.(x)(P2.(x));
Формула тождественно истинна, так как