Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Matematica
Logica Matematica
Tc1003
Lgica Matemtica
Lgica Matemtica
OBJETIVOS
Unidad
Tema
Subtema
Objetivos
II Lgica Matemtica
2.1 Lgica Proposicional
2.2 Lgica de Predicados
2.3 Mtodos de Demostracin
El establecimiento de cualquier teora o concepto se hace
mediante declaraciones y/o afirmaciones llamadas enunciados o
proposiciones que tienen un valor de verdad o falsedad pero no
ambos.
Conocer y manejar estas proposiciones es el objetivo de este tema.
Para ello se definen dos principales conceptos: proposicin y
conectivo.
Conocer, entender y aplicar los conceptos de:
Lenguaje proposicional:
Proposicin primitiva
Proposicin compuesta
Conectivo lgico:
o Conjuncin
o Disyuncin
o Implicacin
o Bicondicin
o Tautologa
o Contradiccin
o Contingencia
o Equivalencia lgica
En muchas ocasiones es necesario conocer si dos situaciones son
iguales o equivalentes.
En matemticas necesitamos saber cuando dos entidades son
iguales o esencialmente lo mismo.
En la lgica matemtica se conoce como el lgebra de las
proposiciones en donde por medio de equivalencias se establece
cuando dos proposiciones son esencialmente la misma
Es objetivo de este tema conocer las leyes de la lgica para poder
establecer equivalencias.
Conocer, entender y aprender las siguientes leyes de la lgica:
Semntica de lgica proposicional:
Ley de la doble negacin
Leyes de Morgan
Leyes Conmutativas
Leyes asociativas
Leyes distributivas
Ngj/v2008
1
2.1 Lgica proposicional
Leyes idempotencia
Leyes de neutro
Leyes de dominacin
Leyes inversa
Leyes de absorcin
Para analizar la demostracin de teoremas dentro de las
matemticas discretas se estudia el concepto de argumento y de
cundo un argumento es vlido.
Conocer, entender y aprender las reglas de inferencia de:
Implicacin
Regla de Separacin: Modus Ponens
Mtodo de negacin: Modus Tollens
Ley del silogismo:
Implicacin lgica
Regla de conjuncin
Regla de contradiccin
Regla de amplificacin
Mtodos de demostracin
Mtodo del absurdo
2 Lgica matemtica
INTRODUCCIN
Lgica es el estudio del razonamiento; se refiere especficamente a si el
razonamiento es correcto. La lgica se centra en la relacin entre las afirmaciones y
no en el contenido de una afirmacin en particular.
Los mtodos lgicos se usan en matemticas para demostrar teoremas y en
las ciencias de la computacin, para probar que los programas ejecutan lo que
deben de hacer. [Johnsonbaugh, 1]
El lenguaje natural es un instrumento de comunicacin humana, que se
caracteriza por su gran flexibilidad y puede estar lleno de redundancias y
ambigedades. Estas caractersticas hacen que la lgica formal no est interesada
en el lenguaje natural.
La lgica pretende ser una ciencia rigurosa y universal que permita realizar
clculos exactos. Para ello, la lgica requiere el diseo de un lenguaje artificial que
sea formal, donde lo que importe sea la forma o aspecto externo, y no el significado
de las frases y donde slo los mensajes que cumplan rigurosamente las normas
sintcticas sean aceptados como correctos.
La lgica se ocupa bsicamente de declaraciones o enunciados que se
caracterizan porque sus afirmaciones tienen un valor de verdad. Esto es, la lgica
trata a las proposiciones que se pueden definir como enunciados simples, ya sean
falsos o verdaderos, son proposiciones.
La lgica formal es una ciencia que estudia el conocimiento que genera un
conocimiento y este conocimiento puede producirse de dos formas, por
constatacin, de hechos o ideas o por deduccin, a partir de un conocimiento se
obtiene otro conocimiento. Esto es, la lgica formal estudia la deduccin o
razonamiento como proceso mental capaz de generar nuevos elementos de
conocimiento a partir de otros.
Finalmente, la lgica formal es una ciencia. Una ciencia formal. Es el estudio
del razonamiento formalmente vlido, es la ciencia de la inferencia deductiva. La
principal aportacin que la lgica hace a las ciencias est en la ordenacin,
estructuracin y anlisis de las verdades conocidas. . [Arenas, 3]
FALSAS:
VERDADERAS:
F o 0
V o 1
Valor de verdad
Conectivos: son los elementos del lenguaje que permiten construir frases
nuevas a partir de las existentes obteniendo nuevos significados. [Arenas, 5]
Conectivos
conectivo
Negacin
Conjuncin
(y)
Smbolo lgico
p q
Disyuncin
(0)
p q
Condicional
implicacin
Bicondicional
doble
implicacin
Expresin en
lenguaje natural
Ejemplos
No p
No ocurre que p
No es cierto que p
Es falso que p
p
p
p
p
p
p
y q
aunque q
pero q
sin embargo
no obstante
a pesar de q
Vamos al cine y a
cenar tambin
Luis trabaja aunque
estudia de noche
Llegu a tiempo no
obstante haber salido
tarde
q
q
p o q o ambos
O bien p o bien q Al
menos p o q Como
mnimo p o q
O vamos al cine o
vamos a cenar
O me saco un 7 o me
saco un 8
pq
si p entonces q
slo si q entonces
Si saco 8 entonces mi
promedio aprobatorio
Si saco 8 en el parcial
tendr el promedio
aprobado
Para tener el promedio
aprobado debe de
sacar 8
pq
p si y solo si q
p
necesario
suficiente para q
p
p es suficiente para q
q es necesaria para p
No p a menos que q
Voy de vacaciones si y
solo si apruebo todas
mis materias
13
14
15
En resumen:
p
0
0
1
1
p
1
0
p
0
1
q
0
1
0
1
pq
0
0
0
1
pq
0
1
1
1
p q
0
1
1
0
pq
1
1
0
1
p q
1
0
0
1
p ( p q)
p q
p q
p ( p q)
1
1
1
1
0
0
1
1
0
1
0
1
0
1
1
1
p ( p q )
p
p q
0
0
1
1
0
1
0
1
1
1
0
0
0
1
0
0
p ( p q )
p
0
0
1
1
q
0
1
0
1
( p q )
1
0
1
0
0
0
1
0
Tautologa
p ( p q )
0
0
0
0
p ( p q )
0
0
1
1
Contradiccin
Contingencia
Equivalencias lgicas
Proposicin equivalente: Cuando todos los valores son siempre verdadero o
falso.
Ejemplo: p q p q
p
0
0
1
1
p
1
1
0
0
q
0
1
0
1
p q
1
1
0
1
p q
1
1
0
1
equivalentes
pq
(p q)
(q p)
pq
qp
( p q ) (q p )
p q
0
0
1
1
0
1
0
1
1
1
0
1
1
0
1
1
1
0
0
1
1
0
0
1
equivalentes
Leyes de la lgica
( p) p
(p q) p q
(p q) p q
p q q p
p q q p
p ( q r ) ( p q ) r
p ( q r ) ( p q ) r
p ( q r ) (p q) ( p r)
p ( q r ) ( p q ) ( p r )
p p p
p p p
p F0 p
p T0 T0
p F0 F0
10
11
12
(p
(p
q
q
)
)
Leyes asociativas
Leyes distributivas
Leyes dem
potentes
Leyes inversa
p p F0
p
p
Leyes conmutativas
Leyes de
dominacin
p p T0
9
Leyes de Morgan
Leyes de neutro
p T0 p
Ley de la doble
negacin
p
p
p q p q
p q (p q) ( q p)
Leyes de absorcin
Reglas de sustitucin
1) Si P (una proposicin compuesta) es una tautologa y p (una proposicin
primitiva) aparece en P. Si p se reemplaza por otra proposicin q y resulta P1
entonces P1 tambin es una tautologa.
Ejemplo:
P: p q p q es una tautologa
Reemplazar p por r s
P1 :
[ (r s )
q]
[ (r s )
[ (r s ) [ (r s ) ( t u ) ] ] ( t u )
si p r s
y q tu
[ p ( p q)
]q
p q
0
0
1
1
0
1
0
1
p q
1
1
0
1
p ( p q)
0
0
0
1
p (p q ) ] q
1
1
1
1
( )
NAND
Otras equivalencias
(p q )
( p q)
Tabla de verdad
( )
NOR
NAND
pq
0
0
1
0
1
0
0
0
0
(p q )
pq
1
1
1
( p q)
Tabla de verdad
p
pq
0
0
1
1
0
1
0
1
0
1
1
0