Matemática Discreta
Lógica
MATEMÁTICA DISCRETA 1
RETROALIMENTACIÓN
MATEMÁTICA DISCRETA 2
MATEMÁTICA DISCRETA 3
MATEMÁTICA DISCRETA 4
MATEMÁTICA DISCRETA 5
MATEMÁTICA DISCRETA 6
Lógica
Es la disciplina que trata de los métodos de
razonamiento. En un nivel elemental, la Lógica
proporciona reglas y técnicas para determinar si un
argumento dado es válido o no.
MATEMÁTICA DISCRETA 7
Proposición
Una proposición es una expresión que es verdadera
o falsa pero no ambas a la vez.
Ejemplo. Son proposiciones
a) Martín Vizcarra es el presidente del Perú.
b) Si el área de un cuadrado es , entonces cada
lado mide .
Ejemplo. No son proposiciones
a) ¿Qué hora es?
b) Resolver los problemas.
MATEMÁTICA DISCRETA 8
Notación
Para representar a las proposiciones en Lógica se
emplean las letras p, q, r, ... , llamadas variables
propositivas (o proposicionales).
Conectivos Lógicos
Son expresiones o símbolos que se utilizan para
crear nuevas proposiciones a partir de
proposiciones dadas.
MATEMÁTICA DISCRETA 9
Nombre del Palabra que la define Símbolo
Conectivo
Negación No es cierto que ~
Conjunción ... y ...
Disyunción ... o ...
Condicional Si ... entonces ...
Bicondicional ... si y solo si ...
MATEMÁTICA DISCRETA 10
MATEMÁTICA DISCRETA 11
Proposición Simple
Una proposición es simple si no contiene Cuando
conectivo lógico alguno.
Ejemplo
a) Perú clasificó al mundial Rusia 2018.
b) La UPC tiene cuatro sedes en Lima.
c) España está en Asia
Fórmula Lógica
Es una combinación adecuada de variables
propositivas y conectivos lógicos.
MATEMÁTICA DISCRETA 12
Proposición Compuesta
Una proposición es compuesta si tiene al menos
un conectivo lógico.
Ejemplo
a) Perú clasificó al mundial Rusia 2018 y Francia
le ganó a Perú.
b) La UPC no tiene cuatro sedes en Lima.
c) Si España está en Asia, entonces Francia está
en Europa.
MATEMÁTICA DISCRETA 13
Fórmula Lógica
Es una combinación adecuada de variables
propositivas y conectivos lógicos.
MATEMÁTICA DISCRETA 14
Tablas de Verdad
p q ~p pq pq pq pq
V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V
MATEMÁTICA DISCRETA 15
MATEMÁTICA DISCRETA 16
Tautología
Una fórmula lógica es una tautología si su tabla
de verdad solamente contiene valores de verdad
Verdaderos.
Ejemplo
MATEMÁTICA DISCRETA 17
Contradicción o Falacia
Una fórmula lógica es una contradicción si su
tabla de verdad solamente contiene valores de
verdad Falsos.
Ejemplo
MATEMÁTICA DISCRETA 18
Contingencia
Una fórmula lógica es una contingencia si su
tabla de verdad contiene valores de verdad
verdaderos y falsos.
Ejemplo
MATEMÁTICA DISCRETA 19
Algunas equivalencias
Sean P y Q fórmulas lógicas.
• p q ~p q
• p q (p q) (q p)
• Las leyes de De Morgan
~(p q) ~p ~q
~(p q) ~p ~q
• ~(~p) p
• ~(p q) p ~q
• ~(p q) [(p ~q) (q ~p)]
MATEMÁTICA DISCRETA 20
MATEMÁTICA DISCRETA 21
Cómo transformar una función
proposicional en una proposición?
Primera forma.
Asignando valores particulares a las variables
Ejemplo Para la función proposicional
2x-7≤ 0
Para x=1 : 2(1)-7≤ 0 VERDADERO
Para x=5 : 2(5)-7≤ 0 FALSO
MATEMÁTICA DISCRETA 22
Segunda forma.
Utilizando cuantificadores
Cuantificador universal Para cada ≅Para todo ∀
≅
Ejemplo. Sea A=1;2;4;6. Determine el valor de
verdad de la proposición p: x A : 2x-7 0
x 2x-7 0 Valor de verdad
1 2(1)-7 0 V
2 2(2)-7 0 V
4 2(4)-7 0 F
6 2(6)-7 0 F
La proposición p es FALSA.
MATEMÁTICA DISCRETA 23
Ejemplo. Sea A=-1;0;1;2. Determine el valor de
verdad de la proposición p: x A : 2x-7 0
x 2x-7 0 Valor de verdad
-1 2(-1)-7 0 V
0 2(0)-7 0 V
1 2(1)-7 0 V
2 2(2)-7 0 V
La proposición p es VERDADERA.
MATEMÁTICA DISCRETA 24
Segunda forma.
Utilizando cuantificadores
Cuantificador existencial Existe ≅Para algún ≅
Ejemplo. Sea A=1;2;4;6. Determine el valor de
verdad de la proposición p: x A : 2x-7 0
x 2x-7 0 Valor de verdad
1 2(1)-7 0 V
2 2(2)-7 0 V
4 2(4)-7 0 F
6 2(6)-7 0 F
La proposición p es VERDADERA.
MATEMÁTICA DISCRETA 25
Ejemplo. Sean A= 1;2;3;4;5 y B=2;4;6;8. Determine el valor
de verdad de la proposición
p: x AB, x (A-B) x B
AB=1;3;5,6;8 x (A-B) xB
1 V F F
3 V F F
5 V F F
6 F V V
8 F V V
Como la función proposicional es verdadera para x= 6, se
concluye que la proposición es VERDADERA.
MATEMÁTICA DISCRETA 26
Ejemplo. Sean A= 1;2;3;4;5 y B=2;4;6;8.
Determine el valor de verdad de la proposición
q: x A-B, x AB x B
A-B=1;3;5 x AB xB
1 F V F
3 F V F
5 F V F
Como la función proposicional es verdadera para cada
elemento de A-B se concluye que la proposición es
VERDADERA.
MATEMÁTICA DISCRETA 27
MATEMÁTICA DISCRETA 28
MATEMÁTICA DISCRETA 29
MATEMÁTICA DISCRETA 30
MATEMÁTICA DISCRETA 31
MATEMÁTICA DISCRETA 32
MATEMÁTICA DISCRETA 33
