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
Matemticas Discretas
Tc1003
Lgica Matemtica
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
Ngj/v2008
Matemticas Discretas
Tc1003
Lgica Matemtica
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]
Ngj/v2008
Matemticas Discretas
Tc1003
Lgica Matemtica
2.1 Lgica proposicional
2.1.1 Lenguaje formal de la lgica proposicional
(sintaxis)
El lenguaje formal de la lgica proposicional est formado por dos
elementos: proposiciones y conectivos.
Proposiciones
Proposicin o enunciado: oracin declarativa que es verdadera o falsa pero no
ambas [Grimaldi, 51]
Proposiciones, frases declarativas simples: son la mnima unidad del lenguaje
con contenido de informacin sobre la que es posible enunciarse con un
verdadero o con un falso como valor de verdad. [Arenas, 5]
Las proposiciones se representan con letras minsculas a partir de la p : p, q,
r, s, t, u, v
Las proposiciones pueden ser de tres tipos:
Proposiciones de accin con sujeto no determinado:
o Hace calor
o Es jueves
Proposiciones de atribucin de propiedades a sujetos determinados:
o Alberto estudia ingeniera
o Beatriz vive en Cuernavaca
o Carlos naci en Mxico
Proposiciones de relacin:
o Alberto es primo de Beatriz
o Cuernavaca es la capital del estado de Morelos
o Para ir a Monterrey por carretera se pasa por los estados de
Distrito Federal, Quertaro, Estado de Mxico, Guanajuato, San
Luis Potos y Coahuila.
No son proposiciones aquellas declaraciones de tipo interrogativo e
imperativo:
o Habla usted ingls?
o Cierra la ventana
Por favor, apaga la luz
Las proposiciones son oraciones declarativas
Pueden ser
FALSAS:
VERDADERAS:
F o 0
V o 1
Valor de verdad
Ngj/v2008
Matemticas Discretas
Tc1003
Lgica Matemtica
Conectivos: son los elementos del lenguaje que permiten construir frases
nuevas a partir de las existentes obteniendo nuevos significados. [Arenas, 5]
Conectivos
conectivo
Negacin
Smbolo lgico
Conjuncin
(y)
pq
Disyuncin
(0)
pq
Condicional
implicacin
pq
Bicondicional
doble
implicacin
pq
Expresin en
lenguaje natural
Ejemplos
Hoy no hace calor
No llegar tarde
Eso no es verdad
No p
No ocurre que p
No es cierto que p
Es falso que p
y q
aunque q
pero q
sin embargo q
no obstante q
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
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
si p entonces q
slo si q entonces p
p es suficiente para q
q es necesaria para p
No p a menos que q
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
p si y solo si q
necesario
p
suficiente para q
Voy de vacaciones si y
solo si apruebo todas
mis materias
p
p
p
p
p
p
Ngj/v2008
Matemticas Discretas
Tc1003
Lgica Matemtica
Equivalencia entre conectivos13:
1. Implicacin disyuncin: p q es equivalente a p q . Ejemplo: si
llueve entonces me mojo, es equivalente a decir, o no llueve o me mojo.
2. Implicacin conjuncin: p q es equivalente a ( p q ) . Ejemplo: si
llueve entonces me mojo, es equivalente a decir, no ocurre que llueva y no
me moje.
3. Disyuncin conjuncin: p q es equivalente a ( p q ) .
4. Bicondicional implicacin: p q es equivalente a ( p q ) (q p )
Sintaxis
Definicin formal del lenguaje proposicional
La definicin formal de un lenguaje requiere la especificacin de su alfabeto
y de sus reglas de sintaxis14.
1. Alfabeto: los smbolos que se utilizan son
a. Smbolos de proposiciones: p, q, r , s, t , u , v
b. Smbolos de conectivos: , , , ,
c. Smbolos de parntesis: { [ ( ) ] }
2. Reglas de sintaxis:
1 Las frmulas bien construidas (fbc) del lenguaje proposicional
se definen de la siguiente manera:
a. Las letras p, q, r , s, t , u , v son fbc
b. Si p y q son fbc tambin lo son p y q
c. Slo son fbc las que se obtienen de las definiciones anteriores
(a y b)
2 Para la correcta relacin entre proposiciones y conectivos las
fbc:
a. No deben aparecer dos conectivos adyacentes, excepto en la
negacin.
b. Es preciso definir la relacin conectivo-proposicin cuando
hay ms de un conectivo en la frmula:
Un conectivo pertenece a la proposicin inmediata o al
conjunto de proposiciones encerradas en un parntesis,
corchete o llaves.
Para evitar exceso de parntesis, se define una jerarqua de
prioridades entre conectivos:
o Nivel 1 : negacin
o Nivel 2: conjuncin y disyuncin
o Nivel 3: implicacin y bicondicional
13
14
Ngj/v2008
Matemticas Discretas
Tc1003
Lgica Matemtica
2.1.2 Semntica de lgica proposicional
Un sistema de frmulas y razonamientos vlidos se construye a partir del
significado (verdadero o falso) de las proposiciones compuestas, esto es, a partir de
la forma de dar un valor al contenido de la informacin de cada proposicin. Se
llama semntico15 al mtodo de demostracin de los valores del significado de una
proposicin compuesta.
La forma en cada conectivo genera los valores de una proposicin compuesta
es por medio de una tabla de verdad en donde se definen todas las combinaciones
posibles de los valores que pueden tener el conjunto de proposiciones simples que
hacen una proposicin compuesta.
Clculo proposicional
Tablas de verdad de conectivos
15
Ngj/v2008
Matemticas Discretas
Tc1003
Lgica Matemtica
En resumen:
p
0
1
p
0
0
1
1
q
0
1
0
1
p q
0
0
0
1
p
1
0
p q
0
1
1
1
p q
0
1
1
0
p q
1
1
0
1
p q
1
0
0
1
p ( p q)
p q
pq
p ( p q)
1
1
1
1
0
0
1
1
0
1
0
1
0
1
1
1
p ( p q )
p
pq
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
Ngj/v2008
Tautologa
p ( p q )
0
0
0
0
p ( p q )
0
0
1
1
Contradiccin
Contingencia
Matemticas Discretas
Tc1003
Lgica Matemtica
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
pq
1
1
0
1
p q
1
1
0
1
equivalentes
pq
( p q)
( q p)
pq
q p
( p q ) (q p )
pq
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
Ngj/v2008
Matemticas Discretas
Tc1003
Lgica Matemtica
Leyes de la lgica
1
2
p) p
q) p q
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
(p
p F0 p
10
11
12
Ngj/v2008
p p T0
p p F0
(
(
p q
p q
)
)
Leyes conmutativas
Leyes asociativas
Leyes distributivas
Leyes dem
potentes
Leyes de
dominacin
p F0 F0
p
p
Leyes de Morgan
Leyes de neutro
p T0 p
p T0 T0
Ley de la doble
negacin
Leyes inversa
p
p
Leyes de absorcin
pq p q
p q ( p q) ( q p)
10
Matemticas Discretas
Tc1003
Lgica Matemtica
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
Ngj/v2008
0
1
0
1
pq
1
1
0
1
p ( p q)
0
0
0
1
p ( p q) ] q
1
1
1
1
11
Matemticas Discretas
Tc1003
Lgica Matemtica
NAND ()
Otras equivalencias
(p q)
( p q)
Tabla de verdad
NOR ()
NAND
p q
0
0
1
0
1
0
0
0
0
(p q)
p q
1
1
1
( p q)
Tabla de verdad
Ngj/v2008
NOR
p q
0
0
1
1
0
1
0
1
0
1
1
1
p q
1
0
0
0
12