Имеется выржение:
(∃x)(Q(x,y) )→(∀z)(R(t,z)→¬(∃x)(Q(x,y) ))
Можно ли использовать ¬(∃x)(P(x) )=(∀x)¬(P(x)) для решения.