Escolar Documentos
Profissional Documentos
Cultura Documentos
a la
Lgica
ver con el modo como la oracin est compuesta de forma relevante para la
verdad.
Algo similar ocurre con la lgica de enunciados, pues las inferencias que hemos
venido realizando hasta ahora no tenan en cuenta la estructura interna de las
proposiciones que forman parte de los enunciados en cuestin. Por ejemplo:
No hay judos en la cocina
!!
!
Ningn gentil dice sphoonj! !
!
!
Todos mis sirvientes estn en la cocina! !
Luego, mis sirvientes no dicen nunca sphoonj!
!
!
!
!
p
q
r
s
x (Sx Dx)
4 x (Jx Cx)! !
5 x ( Jx Cx)!!
Def /
Df / 4
6 x (Jx Cx)! !
Df /
7 Ja Ca!!
E, 6 x:a
8 Ja Da!
E, 2 x:a
9 Sa Ca! !
E, 3 x:a
10 Ca Ja!
!
11 Sa Ja!
!
12 Sa Da!
!
13 x (Sx Dx)!!
Crtrp. , 7
Tr , 9, 10
Tr , 11, 8
I, 12, a:x
individuos
!
!
!
!
!
!
Lproposiciones!
Aristteles era ateniense: !
!
!
!
p!
!
Aristteles era ms ateniense que Pericles !
p!
!
Era un da lluvioso y Eva estaba triste: ! !
!
!
LPrimer orden
!
Aa
!
Mab
!
p Ta
Cuantificacin.
Todo x es idntico a s mismo: x Ixx
Algn x es buena persona: x Bx
El particularizador o existencial, , afirma la existencia de al menos un objeto.
El generalizador no afirma la existencia de nada, sino nicamente que si existe
algn x entonces ser de tal manera (como mucho podemos afirmar que
presupone la existencia de aquello sobre lo que cuantifica).
Universal afirmativo: !
x Px
Universal negativo: !
!
x Px
Existencial afirmativo: ! x Px
Existencial negativo: !
xPx
Equivalencias.
x Px xPx
x Px x Px
xPx x Px
xPx x Px
Reglas de cuantificadores para predicados mondicos.
I Pa!!
-----!
xPx!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
E x Px! !
----------!
!
Pa! !
!
!
!
!
!
!
!
!
!
!
!
!
I Pa!!
------!
xPx!
!
!
!
!
!
!
!
!
E xPx
! !
Pa
A
-------A
a no debe ocurrir en
Ejercicios de formalizacin.
1. Todo el mundo es mortal. Luego nadie es inmortal.
2. No existen unicornios. Por tanto, todos los unicornios tienen tres cuernos.
3. Los pases del 3er Mundo no estn industrializados. Algunos pases del 3er Mundo
poseen grandes riquezas. Por tanto, hay pases del 3er Mundo que poseen grandes
riquezas y no estn industrializados.
4. Si existe una mujer que es Jefe del Gobierno, entonces se puede decir que existe una
mujer y que existe un Jefe del Gobierno.
5. Ningn deportista que aspire a participar en las Olimpiadas ingiere bebidas
alcohlicas. Hay deportistas que ingieren bebidas alcohlicas. Por tanto, algunos
deportistas no participan en las Olimpiadas.
6. Cada miembro de la clase aparece en la obra o trabaja como tramoyista. Los que
aparecen en la obra estn ensayando. Los que trabajan como tramoyistas estn
decorando el escenario. Por tanto, si Pablo es un miembro de la clase, entonces, o
est ensayando o est decorando el escenario.
7. Los mdicos y los ingenieros son profesionales. Los profesionales y los directivos son
respetados. Luego los mdicos son respetados.
8. Existen hombres inteligentes. Luego, no es el caso que ningn hombre no sea
inteligente.
9. Todo francs es europeo. Por tanto, si todos son franceses, entonces, todos son
europeos.
10. Cualquiera que es culpable de robo no es culpable de estafa. Cada uno de los
prisioneros es culpable de robo o de estafa. Algunos prisioneros son culpables de
estafa. En consecuencia, algunos prisioneros no son culpables de robo.
Ejercicios de deduccin.
-1 x [Px (Qx Rx)]! !
x (Qx Rx)
Pa Pb Pc
xy Qxy
-2 x Px
-1 x Px!
-1 xx (Pa Qxy)!
-2 xPx