domingo, 27 de noviembre de 2011

Ejercicio cuarto

¿Son equivalentes las oraciones

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

y

(ii) ~∃x (y) (fx · ~gy) ?

¿Por qué?

No hay comentarios: