TECNOLÓGICO NACIONAL DE MÉXICO

INGENIERÍA EN SISTEMAS COMPUTACIONALES

Matemáticas Discretas
Unidad III: Lógica Matemática
 Matemáticas Discretas
Unidad III: Lógica Matemática
3.1 Lógica proposicional 3.2 Lógica de predicados
3.1.1 Proposiciones simples y 3.2.1 Cuantificadores
compuestas 3.2.2 Representación y evaluación de
3.1.2 Tablas de verdad predicados
3.1.3 Tautologías, contradicción y 3.3 Algebra declarativa
contingencia 3.4 Inducción matemática
3.1.4 Equivalencias lógicas 3.5 Aplicaciones de la lógica matemática
3.1.5 Reglas de inferencia en la computación
3.1.6 Argumentos válidos y no válidos
3.1.7 Demostración formal 2
 Matemáticas Discretas
Competencia Específica a Desarrollar

• Analiza y resuelve problemas computacionales utilizando las

técnicas básicas de lógica e inducción matemática.

3
 Matemáticas Discretas

Lógica Proposicional
• Proposición: Una proposición se define como un enunciado,
una oración declarativa, o una expresión simbólica, de la cual
se puede decir sin ambigüedad, que es verdadera o falsa, pero
no ambas.

4
 Matemáticas Discretas
Proposiciones simples y compuestas
• Las proposiciones mas sencillas posible se denominan
atómicas y se representan habitualmente con letras
minúsculas a partir de la p.

• Una proposición expresada como una cadena de caracteres se

denomina expresión lógica o fórmula

5
 Matemáticas Discretas

Ejemplos de proposiciones
• "¿Qué hora es?"
• "Juan es un nombre"
• "8 es un número primo"
• "8 no es un número primo“
• ¿Cuánto es 3 mas 5?

6
 Matemáticas Discretas

• Las proposiciones constituidas por proposiciones atómicas y

otras partículas que sirven de nexo se llaman moleculares o
compuestas y se representan habitualmente con letras
mayúsculas a partir de la P.

7
 Matemáticas Discretas

Ejemplos de proposiciones compuestas

• Federico es alto y Jaime también.
• Federico y Jaime son altos.
• Las manzanas son verdes o rojas.
• México es un país o una ciudad.
• Juan no es alto.

8
 Matemáticas Discretas

Conectores Lógicos
• Los Conectores Lógicos son palabras que sirven para formar
Proposiciones Compuestas, es decir, dos o más proposiciones
unidas, que al verse como una sola debe cumplir la regla básica
de falsedad o verdad.

9
 Matemáticas Discretas
Disyunción (O, OR)
• La disyunción de P,Q es denotada por P v
Q. La disyunción es verdadera si al
menos uno de sus elementos es verdad
P, Q es verdadero, esto se conoce como
Disyunción Inclusiva.
• A continuación se muestra la tabla de
verdad de O (OR):

10
 Matemáticas Discretas
Disyunción Exclusiva (O EXCLUSIVO, XOR)
• El símbolo V representa el O EXCLUSIVO
(XOR), que es incluido en muchos lenguajes
de programación. Una proposición P V Q se
lee como “P o Q pero no ambos", es decir
no pueden ser ambos verdaderos o ambos
falsos.
• A continuación se muestra la tabla de
verdad de XOR V:

11
 Matemáticas Discretas
Conjunción (Y, AND)
• La conjunción de P, Q es denotada por P ^ Q.
La conjunción es verdadera solo si P y Q son
verdaderos.
• A continuación se muestra la tabla de verdad
de Y ^ (AND):

12
 Matemáticas Discretas
Negación ¬ (NO, NOT)
• Una sentencia que es modificada con el
conectivo no es llamada la negación de la
sentencia original. Simbólicamente, sí P es una
proposición entonces ¬P (no P), denota la
negación de P.
• A continuación se muestra la tabla de verdad
de la negación ¬ NO (NOT):

13
 Matemáticas Discretas

Condicional
• Para dos declaraciones P, Q decimos “P implica
Q" y se escribe P Q para denotar la
implicación de Q por P.
• La proposición P es llamada la hipótesis o
antecedente de la implicación; Q es llamada la
conclusión o consecuente de la implicación.
• Una condicional solo es falsa cuando p es
cierta y q falsa; en el resto de casos es
verdadera.
14
 Matemáticas Discretas

Bicondicional (SI Y SOLO SI, SII)

• Otra declaración común en matemáticas es
“P si y solo si Q", o simbólicamente P Q.
• Esto es llamado la equivalencia de dos
proposiciones, P, Q.
• A continuación se muestra la tabla de verdad
de SII.

15
 Matemáticas Discretas

Ejemplos:
• Si María estudia mucho será buena estudiante.
• Juan puede cursar Matemáticas Discretas solo si está en tercer
semestre de carrera.

16
 Matemáticas Discretas

Jerarquía de los Conectores:

v
^
¬

17
 Matemáticas Discretas

Tautologías, Contradicciones y Contingencia

• Tautología: es una expresión lógica que es verdadera para

todas las asignaciones posibles

18
 Matemáticas Discretas

• Contradicción: es una expresión lógica que es falsa para todas

las asignaciones posibles

19
 Matemáticas Discretas

• Contingencia: es una expresión lógica que no es ni tautología ni

contradicción

20
 Matemáticas Discretas

Equivalencias Lógicas
• Dos formas proposicionales P y Q se dicen lógicamente
equivalentes, y se escribe P ≡ Q, si sus tablas de verdad
coinciden.

El programa está bien escrito y bien documentado.

El programa está bien documentado y bien escrito.

21
 Matemáticas Discretas

1. ∼ (p ∨ q) ≡∼ p∧ ∼ q
2. ∼ (p ∧ q) ≡∼ p∨ ∼ q

22