p est equivalente a : il existe c de E tel que A(c) et quelque soit x #c A(x) est faute alors sa negation est : quelque soit x de E A(x) est faute ou il existe (a,b) tel que A(a) et A(b)
p est equivalente a : il existe c de E tel que A(c) et quelque soit x #c A(x) est faute
alors sa negation est : quelque soit x de E A(x) est faute ou il existe (a,b) tel que A(a) et A(b)