Lógica 1-UACM

María Inés Pazos
2011-2
Introducción general:
Se introducir al estudiante en las nociones !sicas de la lógica deducti"a
#ro#osicional desde una #ers#ecti"a se$ntica % otra sintctica& A #artir de un
anlisis de razona$ientos en el lengua'e ordinario % de 'uegos lógicos se
introducirn las nociones generales de argu$ento( in)erencia % las distinciones
entre argu$entos deducti"os % no deducti"os *estos +lti$os de distintos ti#os,& A
continuación se en)ocarn los argu$entos deducti"os % distinguirn sus
co$#onentes& -n tercer lugar se introducir al estudiante en la lógica deducti"a
estndar desde una #ers#ecti"a )or$al % con este )in se ense.ar un siste$a
deducti"o *lógica #ro#osicional estndar, #resentndolo $ediante 1, Un lengua'e
)or$al 2, Se$ntica )or$al % /, Presentación sintctica *$ediante un siste$a de
deducción natural,& Con estas 0erra$ientas el estudiante estar ca#acitado #ara
reconstruir argu$entos deducti"os del lengua'e natural % cuando su "alidez
de#endiera de su )or$a #ro#osicional
1
( #odr e"aluarlos& -star ca#acitado(
asi$is$o( #ara analizar de $anera !sica siste$as )or$ales deducti"os
*a1io$ticos o no,( deter$inando la rele"ancia o utilidad de los a1io$as( la e)icacia
de las reglas de in)erencia % #odr construir estrategias de #rue!a 2ue inclu%an la
o!tención de reglas de in)erencia deri"adas tanto co$o teore$as de interés&
3i!liogra)ía general *cada unidad tiene !i!liogra)ía es#ecial,:
1- Copi, Irving y Cohen, Carl, Introducción a la lógica, Limusa, 1999
2- Garrido, Manuel, Lógica Simbólica, Tecnos, 1986 (7 reimpresi!n"# $rimera
impresi!n 197%#
/- &uppes, $a'ric(, (19)7" Introduction to Logic# *e+ ,or(- .an *os'rand, /10 pp#
&panish 'ransla'ion 1y G# 2# Carrasco- Introducción a la lógica simbólica#
M34ico- Compa56a 7di'orial Con'inen'al, &2#, 1966

Unidad 1: 4azona$ientos en general
1#8 9uegos l!gicos (in'roducci!n in:ormal a la deducci!n y las dis'in'as :ormas de
in:erencia"
1#1Componen'es de los ra;onamien'os# $remisas y conclusi!n##
1#0 <a;onamien'os deduc'ivos y no deduc'ivos (la relaci!n general de consecuencia"
Bibliografía obligatoria
= Copi, Irving y Cohen, Carl, Introducción a la lógica, Limusa, 1999, 17=/), %8=%)#
Complementaria
= Copi, Irving, Introducción a la lógica 7>?7@2, 1968 (1981" /=%6#
= Arayen, <aBl Lógica, significado y ontología, >*2M, 1989, 17=68#
Unidad 2: 5alidez se$ntica
0#1 <a;onamien'os vClidos- *oci!n in'ui'iva de valide;- 7l concep'o semCn'ico de
consecuencia l!gica deduc'iva#
0#0 ?is'inci!n con nociones de consecuencia no deduc'ivas#

1
Cuando no dependiera de su e4presi!n en l!gica de predicados o modal#
Bibliografía obligatoria
- Ma'es, @enson Lógica matemática elemental, Tecnos 1978 (1979", pCg# 16=19#
= Copi, Irving y Cohen, Carl, Introducción a la lógica Limusa, 1999, 7)=88#
Bibliografía complementaria
= Arayen, <aBl Lógica, significado y ontología, >*2M, 1989, 1)=17, 68=79#
Unidad /: -l lengua'e de la lógica si$!ólica
/#1 $roposiciones a'!micas y moleculares#
/#0 Conec'ivas l!gicas y sus condiciones de verdad- ConDunci!n, disyunci!n, negaci!n,
condicional ma'erial y 1icondicional ma'erial#
/#/ Concep'os modales de necesidad, posi1ilidad e imposi1ilidad#
/#% $resen'aci!n :ormal del lenguaDe de la l!gica proposicional# .oca1ulario
(cons'an'es, varia1les, signos au4iliares", reglas de :ormaci!n (:!rmulas 1ien
:ormadas", de:iniciones#
Bibliografía obligatoria
= E3rnande; de Cas'ro, $reisser, &egura y Torres Ealc!n, Lógica Elemental, >2M,
M34ico,1996, 17=00#
= Copi, Irving y Cohen, Carl, Introducción a la lógica Limusa, 1999, /01=/%6#
Unidad 6: 5alidez de )or$as de argu$ento
%#1 Ta1las semCn'icas para ra;onamien'os
%#0 .alide;, necesidad, con'radicci!n, algunas com1inaciones posi1les en los
ra;onamien'os
Bibliografía obligatoria
= Copi, Irving y Cohen, Carl, Introducción a la lógica Limusa, 1999, /%6=/)9#
Unidad 7: 5alidez sintctica: Un siste$a de deducción
)#1 Las nociones de sis'ema :ormal y sis'ema a4iomC'ico#
)#0 Concep'os de Fprue1a :ormalG y Freglas de in:erenciaG#
)#/ L$- >n sis'ema :ormal para la l!gica proposicional# <eglas 1Csicas y derivadas#
)#% ?emos'raciones a par'ir de conDun'os no vac6os de premisas#
)#) ?emos'raciones de leyes l!gicas
Bibliografía Obligatoria
- Garrido, Manuel, Lógica Simbólica, Tecnos, 1986 (7 reimpresi!n"# $rimera
impresi!n 197%# Cap# . (pCgs# 7%=10%"
- Mendelson, 7llio'', Introduction to Mathematical Logic, Hands+or'h and
@roo(sICole 2dvanced @oo(s and &o:'+are, Mon'errey, Cali:ornia, 1997# .3ase el
Cap6'ulo 1, secci!n %- J2n 24iom &ys'em :or 'he $roposi'ional CalculusJ# $Cgs# 07=
09 en la 'ercera edici!n#