Usuario:JULIAN.D.OR/ejercicio2

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Dado Q(x) y (P(x)Q(x)) demostrar que P(x)


1.Q(x) premisa

2.Q(x) particularizacion 1.

3.(P(x)Q(x)) premisa

4.P(x)Q(x) particularizacion 3.

5.P(x) modus tollens 2. 4.

6.P(x) generalizacion del universal