Matemáticas Discretas

Unidad 1
MCI. Manuel Alejandro Quintana García
Leyes de Equivalencia Lógica
• Las leyes de equivalencia lógica son principios fundamentales que
establecen relaciones de equivalencia entre proposiciones lógicas
Ley de Identidad:

2
Leyes de Equivalencia Lógica
Ley de Dominación:

Ley de Doble Negación:

3
Leyes de Equivalencia Lógica
Ley Conmutativa:

Ley Asociativa:

4
Leyes de Equivalencia Lógica
Ley Distributiva:

Leyes de De Morgan:

5
Implicación lógica
• La implicación lógica es un concepto fundamental en lógica
matemática y lógica proposicional
• Se denota comúnmente con el símbolo y se lee como "implica" o
"si... entonces“
• La implicación lógica relaciona dos proposiciones:
• la premisa (o antecedente)
• la conclusión (o consecuente).

6
Implicación lógica
• La implicación significa que si la proposición es verdadera,
entonces la proposición también debe ser verdadera
• La tabla de verdad para la implicación lógica es la siguiente
V V V
V F F
F V V
F F V

7
Implicación lógica
• En la tabla de verdad, la implicación es verdadera en tres de los
cuatro casos. La única situación en la que la implicación es falsa
es cuando la premisa () es verdadera y la conclusión () es falsa.

8
Implicación lógica
• Si es la proposición "Es lunes" y es la proposición "Mañana será
martes", entonces se lee como "Si es lunes, entonces mañana será
martes".
• La implicación es verdadera en todos los casos excepto cuando es
lunes y mañana no será martes.