Usuario:Damaya59/Ejercicio 8
Apariencia
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