Facultad De Ciencias De La

Educación Msc. Augusto Ospino Martinez

Docente
Licenciatura En Matemáticas

28 de marzo de 2023
 LA DEDUCCIÓN CUANTIFICACIONAL

LAS CUATRO REGLAS DE LA DEDUCCIÓN CUANTIFICACIONAL:

 Regla de Especificación Universal. (E.U.)

 Regla de Generalización Universal. (G.U.)

 Regla de Generalización Existencial. (G.E.)

 Regla de Especificación Existencial. (E.E.)

 1. Regla de Especificación Universal. (E.U.)

Después de eliminar el cuantificador universal podemos sustituir la

variable por cualquier término, de su universo.

Esta regla se justifica porque si una proposición se cumple para

toda x, entonces en partícula se cumplirá para cualquier individuo
determinado de su universo.

En forma simbólica: De (∀x)(xA)

Podemos deducir: aA, si a es cualquier elemento del universo de A

 Regla de Especificación Universal. (E.U.)

Ejemplo. De: ”Todos aquí están vivos” ≡ (∀x)(xV )

Podemos deducir: ”Juan está vivo” ≡ jV , donde Juan es uno de los

que están aquí.

Ejemplo. De: ” Todas las mujeres se pintan” ≡ (∀x)(xM → xP)

Podemos concluir: ”Si Ana es mujer, se pinta” ≡ aM → aP

 2.Regla de Generalización Universal. (G.U.)
Si se verifica la proposición xA, donde x denota a cualquier individuo
arbitrariamente elegido del conjunto U, entonces podemos concluir
que todo x, en el conjunto U, cumple A. La regla se justifica porque si x
es un individuo cualquiera del conjunto U, toda propiedad que posea x,
y que proceda únicamente de su condición de pertenecer al conjunto
U, la tienen también los demás elementos de U.

En forma simbólica: De xA, donde x es un elemento cualquiera de U

Podemos deducir: (∀x)(xA).

 Regla de Generalización Universal. (G.U.)
Ejemplo. De, ” x es un hombre cualquiera y, por ser hombre, x tiene
cerebro” (Si x es un hombre cualquiera, entonces x tiene cerebro)

Podemos concluir: (∀x)(xH → xC)

Ejemplo. De, ” Si z es un pez cualquiera, entonces z tiene escamas”

Podemos concluir que: (∀z)(zP → zE)

 3.Regla de Generalización Existencial. (G.E.)

Si un elemento conocido cumple una condición, entonces podemos

concluir que alguien cumple la condición.
Se justifica porque la existencia de un individuo que cumple una
condición, garantiza que alguien cumple dicha condición.

En forma simbólica: De aA, donde a es un elemento conocido

Podemos deducir: (∃x)(xA).

 Regla de Generalización Existencial. (G.E.)

Ejemplo. De, ”Pedro estudia en la U. del Magdalena” ≡ pE

Podemos concluir, ”Alguien estudia en la U. del Magdalena” ≡ (∃x)(xE)

Ejemplo. De: ”James Rodríguez es un futbolista Colombiano que juega

en Europa” ≡ jC ∧ jE
De ahí podemos concluir que: ”Algún futbolista Colombiano juega en
Europa (∃x)(xC ∧ xE)
 4. REGLA DE ESPECIFICACIÓN EXISTENCIAL. (E.E.)

De existe un x que cumple la condición A, podemos concluir tA,

donde t es un sujeto constante, nuevo dentro de la deducción.
La certeza de que hay alguien cumple la condición A, garantiza
que un individuo específico, t, del cual no sabemos otra cosa,
cumple la condición A.
En forma simbólica: De (∃x)(xA),
Podemos deducir: tA, aquí t es un individuo fijo, que cumple la
condición A
 REGLA DE ESPECIFICACIÓN EXISTENCIAL. (E.E.)

Ejemplo. De ”Alguien ensilló el caballo” ≡ (∃x)(xC)

Podemos concluir ”Tobías ensilló el caballo” ≡ tC, donde Tobías es

alguien nuevo en la deducción.

Ejemplo. De “ Hay mujeres que son inteligentes” ≡ (∃x)(xM xI)

Podemos concluir: María es una mujer que es inteligente ≡ mM mI

 EL PROCESO DE DEDUCCIÓN

El proceso consta de cuatro pasos:

1. Simbolización, y numeración, de las proposiciones que

conforman el argumento.
2. Eliminación de cuantificadores.
3. Aplicación de las técnicas de deducción proposicional.
4. Colocación de cuantificadores, si es del caso.
 Argumentos con Cuantificadores Universales

Ejemplo. Consideremos el argumento:

Todas las mariposas son insectos; y todos los insectos poseen seis
patas.
En consecuencia: Todas las mariposas poseen seis patas

Primer paso:
3
”Todas las mariposas son insectos” ≡ (∀x)(xM → xI)
”Todos los insectos poseen seis patas” ≡ (∀x)(xI → xS)
4
 Argumentos con Cuantificadores Universales

Segundo paso.

(3) xM → xI . Eliminación de Cuantificador

(4) xI → Xs. Eliminación de Cuantificador

 Argumentos con Cuantificadores Universales

Tercer paso.

(5) xM Regla R.P.C

(6) xI .
(7) xS
(8) xM → xS. Conclusión Regla R.P.C
(9) (∀x)(xM → xS) . Regla de Generalización Universal
3
La generalización puede hacerse porque la variable x no se
encuentra libre en ninguna
4 premisa.
 Argumentos con Cuantificadores Universales

Ejemplo.

Todo existencialista es pesimista. Además, ningún pesimista es

creyente. Y, también se sabe que todo simpatizante de Kafka es
existencialista. En conclusión: Ningún simpatizante de Kafka es
creyente.

4
GRACIAS