Reglas cuantificacionales

Abreviatura Nombre Ejemplo

A Universal afirmativo Todos los humanos son mortales.
E Universal negativo Ningún humano es mortal.
I Particular afirmativo Algunos humanos son mortales.
O Particular negativo Algunos humanos no son mortales.

A,E: contrarias, ambas pueden ser falsas pero no

verdaderas a la vez.
I,O: subcontrarias, ambas pueden ser verdaderas
pero no falsas a la vez.
A,O y E,I: contradictorias, una verdadera y otra
falsa.
A,I y E,O: sublaternas, la verdad de la proposición
inferior está implícita en la superior.
Pruebas de validez
Simbología
■ El predicado se expresa con una mayúscula y el sujeto con una minúscula y el
predicado va antes que el sujeto.
■ El signo que representa un sujeto universal es (x)
■ El signo que representa un sujeto particular es (∋)
Todo humano es mortal. Se puede expresar como:
(x) (Hx⊃ Mx) Y se lee: Para todo x, si x es humano, entonces x es mortal.
Algunos profesores son estrictos. Se puede expresar como:
(∋x) (Px∧ Ex ) y se lee: Existe al menos un x tal que, siendo x profesor y x, es estricto.
■ La proposición universal toma la forma de condicional y la existencial no.
Ningún ave es mamífero. (x) (Ax⊃∼Mx)
Algún pato no es blanco. (∋x) (Px∧∼ Bx )
Reglas de los cuantificadores
1) Instanciación universal (IU) o ley de ejemplificación universal.
“Lo dicho de todos puede decirse de algunos.”

Todos los humanos son mortales. (x)(Hx ⊃Mx)

Sócrates es humano. Se simboliza: Hs
Por lo tanto Sócrates es mortal. ∴ Ms

Y así como se dice de Sócrates puede sustituirse por cualquier otro sujeto y seguirá siendo
válido.
■ Cualquier instancia de sustitución de una función proposicional se puede inferir
válidamente de su cuantificación universal.
2) Ley de generalización universal (GU)

“Si un individuo de un conjunto tiene una característica P, entonces se puede colegir que
todos los individuos de ese conjunto también la tienen”

Este principio nos permite generalizar o pasar de una instancia de sustitución particular a una
expresión generalizada o cuantificada universalmente.

Esta regla se simboliza:

GU: Φy
∴ (𝑥)(Φx) (donde y denota cualquier individuo arbitrariamente seleccionado.
3) Ley de instanciación existencial (IE) o ejemplificación existencial
“A partir de la cuantificación existencial de una función proposicional podemos inferir la
verdad de una instancia de sustitución respecto a cualquier constante individual que no
aparezca antes en ese mismo contexto.”

Todos los criminales son viciosos. (x) (Cx ⊃ Vx)

Algunos humanos son criminales. Se expresa: (∋ x) (Hx ∙ Cx)
Algunos humanos son viciosos. ∴ (Hx ⊃ Vx)

IE: ( ∋ x)(Φx) (donde v es una constante individual que no aparece antes en el ∴ Φv contexto)
4) Ley de generalización existencial (ge)
“Si tenemos una premisa con sujeto singular “a” y predicado P, entonces se puede
concluir que al menos existe un sujeto x que tiene tal predicado P.”

Ningún mentiroso es persona de fiar.

Algunos publicistas son mentirosos.
Algunos publicistas no son personas de fiar. (∋ x) (Px)