Vous êtes sur la page 1sur 2

PARA DOS (2) PREDICADOS: El mecanismo es

similar a la que utilizamos para 1 predicado.


Aplicamos la DEFINICIN.
As:
Sea la proposicin: x( Ax Bx) obtengamos su

EQUIVALENCIA DE PROPOSICIONES
CUANTIFICADAS
CURSO: RAZ. LGICO
GRADO: QUINTO
FECHA: 20/06/14

Una proposicin cuantificada normalmente posee


una equivalencia en 2 universos:
1. EQUIVALENCIAS EN UN UNIVERSO INFINITO O NO
DEFINIDO.
Sin sujetos o elementos especficos dentro de una
clase. Se expresa de modo general, es decir, no
menciona ningn elemento individual que pueda
pertenecer a la clase o conjunto en cuestin.
PARA UN (1) PREDICADO: Para obtener
equivalencias de proposiciones de 1 solo
predicado, se aplica la DEFINICIN, la que
consiste en cambiar la cantidad y la cualidad
de los 3 componentes de la proposicin,
aparentemente opera como una negacin a
cada componente, pero en realidad no es una
negacin material:
As:

equivalente:

El siguiente cuadro nos ayudara para obtener las


negaciones de la estructura 3 de una proposicin
cuantificable de 2 predicados.
CUADRO DE NEGACIONES EQUIVALENTES

Ejemplo:
La
proposicin:
Algunos
superficiales, equivale a:

millonarios

son

x( Mx Sx) x( Mx Sx)
EQUIVALENCIA

Traduciendo la equivalencia:
a) Es falso que todos los millonarios no son
superficiales,
b) Es falso que ningn millonario es superficial.
ADEMS: Podramos obtener otras equivalencias,
con tan solo aplicar las equivalencias ya conocidas a
la estructura 3 .

Luego algunas aplicaciones serian:

x( Px )

x( Px )

x( Px )

x( Px )

x( Px )

x( Px )

x( Px ) x( Px )
x( Px ) x( Px )
x( Px )

x( Px )

x( Px)

x( Px )

Ejemplo:
La proposicin:
equivalente a:

Existen

polticos,

x( Px) x( Px)
EQUIVALENCIA

Traduciendo la equivalencia:
a) Es falso que todos no son polticos,
b) Es mentira que ninguno es poltico.

es

PARA TRES (3) PREDICADOS: Esta es similar a la


que utilizamos para 2 predicados. Aplicamos la
DEFINICIN, y de igual manera simulamos la
negacin de las 3 partes componentes.
Ejemplo: La proposicin: Todos los universitarios
que tienen carnet pagan medio pasaje, equivale a:
La proposicin anterior se podra expresar:
Todos los que son universitarios y tienen carnet son
pagadores de medio pasaje.

(Ux Tx) Px
a) x (Ux Tx) Px . Por definicin total.
b) x Px (Ux Tx) .. Por conmutacin en

.... x

a)

Profesor: Luis Zamora

NOTA: El procedimiento para encontrar una


equivalencia para una proposicin de 4 ms
predicados, sera la misma: LA DEFINICIN, es
decir negar las 3 partes componentes.
2. EQUIVALENCIAS EN UN UNIVERSO FINITO O
DEFINIDO.
Con sujetos o elementos especficos y definidos
dentro de una clase. A diferencia de los universos
infinitos, en este tipo de equivalencias tenemos
que
especificar
algunos
elementos
que
pertenezcan a la clase o categora en cuestin.

PARA UN (1) PREDICADO:

A) Definicin del Universalizador


Especificamos
los
elementos
que
pertenecen a la clase en cuestin,
unindolos con el conjuntor.
Ejemplo:
La proposicin: Cualquiera es postulante

x( Px)
Pa Pb Pc ..... Pn
Equivale a:
Andrea es postulante, Bertha es postulante
y tambin Carlos es postulante.
O, lo que el lenguaje nos permite
simplificar:
Andrea, Bertha y Carlos son postulantes.
B) Definicin del Existencializador
Especificamos
los
elementos
que
pertenecen a la clase en cuestin,
unindolos con el disyuntor dbil.
Ejemplo:
La proposicin: Bastantes son perspicaces

x( Px)
Pa Pb Pc ..... Pn
Equivale:
Alberto es perspicaz, Beto es perspicaz
salvo que Carmen es perspicaz.
O, lo que el lenguaje nos permite
simplificar:
Alberto, Beto o Carmen son perspicaces.

A) Distribucin del Cuantificador Universal por el


Conjuntor
Ejemplo:
La proposicin: Cualquiera es postulante del
mismo modo como estudiante.

Equivale a:
Todos son postulantes al igual que todos son
estudiantes.
Y ahora, una vez distribuido en cuantificador,
tendramos:

x( Px Ex)
x( Px) x( Ex)
( Pa Pb Pc )

( Ea Eb Ec )

Lo cual finalmente equivaldra a:


Ana, Teresa y Felipe son postulantes; sin
embargo; Roy, Carlos y Andrs son estudiantes.
B) Distribucin del Cuantificador Existencial por el
Disyuntor
Ejemplo:
La proposicin: Algunos son inteligentes a
menos que dedicados

Equivale a:
Ciertos son inteligentes salvo que pocos son
dedicados.
Y ahora, una vez distribuido en cuantificador,
tendramos:

x( Ix Dx)
x( Ix) x( Dx)
( Ia Ib Ic )

( Da Db Dc )

Lo cual finalmente equivaldra a:


Jos, Natalia o Martn son inteligentes; a menos
que; Jacinto, Maruja o Violeta son dedicados.

PARA DOS (2) PREDICADOS: Es conveniente


independizar cada clase cuantificndola, si
queremos encontrar elementos definidos que
pertenezcan a cada una de las clases ya
separadas.

Profesor: Luis Zamora