Equivalencia de Proposiciones Cuantifcadas
Equivalencia de Proposiciones Cuantifcadas
Equivalencia de Proposiciones Cuantifcadas
EQUIVALENCIA DE PROPOSICIONES
CUANTIFICADAS
CURSO: RAZ. LGICO
GRADO: QUINTO
FECHA: 20/06/14
equivalente:
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 .
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
(Ux Tx) Px
a) x (Ux Tx) Px . Por definicin total.
b) x Px (Ux Tx) .. Por conmutacin en
.... x
a)
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.
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 )
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 )