Ir al contenido

Usuario:Damaya59/Ejercicio 8

De Wikilibros, la colección de libros de texto de contenido libre.

3.Dar una derivacion formal para demostrar que ∃x∃yP(x,y) implica logicamente que ∃y∃xP(x,y). Utilizar la particularizacion existencial y la generalizacion existencial como regals de inferencia. R/

1.∃x∃yP(x,y)..........PREMISA

2∃yP(x,y)...... 1,PARTICULARIZACION EXISTENCIAL

3.P(x,y)....... 2,PARTICULARIZACION EXISTENCIAL

4..∃xP(x,y)....... ....3,GENERALIZACION EXISTENCIAL

5..∃y∃xP(x,y)............4,GENERALIZACION EXISTENCIAL