Equivalencias

Viene de acá.

Partiendo de (ii) puede obtenerse:

(iii) ~∃x [fx · (y) ~gy]

y luego

(iv) ~∃x (fx · ~∃y gy)

y

(v) (x) ~(fx · ~∃y gy)

considerando la ley de De Morgan:

(vi) (x) (~fx ∨ ∃y gy)

o sea:

(i) (x) ∃y (~fx ∨ gy)