Имеется выржение:
(∃x)(Q(x,y) )→(∀z)(R(t,z)→¬(∃x)(Q(x,y) ))
Можно ли использовать ¬(∃x)(P(x) )=(∀x)¬(P(x)) для решения.
Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)