TERCERA SESIÓN

MATEMÁTICA DISCRETA

Mg. Rocio Vargas Navarro

 PROPÓSITO
• Resuelve ejercicios de tablas de verdad-
leyes lógicas
 (𝒑 → ~𝒒)˅(~𝐫 → 𝒔)

F
𝒑 → ~𝒒 ˅ (~𝐫 → 𝒔)

F F
 𝒑 → ~𝒒 ˅ (~𝐫 → 𝒔)

F F
𝒑 → ~𝒒 ˅ (~𝐫 → 𝒔)
V F V F
V(p)= V
V(~ 𝐪)= F V(𝐪)= V
V(~𝐫)= V V(𝐫)= F
V(𝒔)= F
 F F F
F ˅ F
F

V(p)= V V(~ 𝒑)= F

V(~ 𝐪)= F V(𝐪)= V
V(~𝐫)= V V(𝐫)= F
V(𝒔)= F
 2.-Escribe la fórmula lógica que corresponda y subraya los
conectores

A) "Si trabajas o estudias, te preparas mejor para el futuro"

 2.-Escribe la fórmula lógica que corresponda y subraya los
conectores

A) “ Si trabajas o estudias , te preparas mejor para el futuro"

p: Trabajas
q: Estudias
r: te preparas mejor para el futuro

(p v q)→ 𝒓
 2.-Escribe la fórmula lógica que corresponda y subraya los
conectores

B. “Ser bachiller o titulado y tener 24 años cumplidos , son

condiciones para poder postular a la empresa constructora“
“
 2.-Escribe la fórmula lógica que corresponda y subraya los
conectores

B. “Ser bachiller o titulado y tener 24 años cumplidos , son condiciones para poder
postular a la empresa constructora“

“Si eres bachiller o titulado y tienes 24 años cumplidos ,tendrás las

condiciones para poder postular a la empresa constructora“

[(pVq)Lr] →s
p: bachiller
q: Titulado
r: tener 24 años
S: poder postular a la empresa constructora
 3.Dada las proposiciones simbolizar
p: Lenin aprueba los cursos
q : Lenin va a la fiesta
r: Lenin estudia para su examen
Si Lenin va a la fiesta, entonces no estudiará
para su examen, pero no es el caso que vaya a
la fiesta y apruebe sus cursos. De ahí que
Lenin estudia para su examen.
 Dada las proposiciones simbolizar
p: Lenin aprueba los cursos
q : Lenin va a la fiesta
r: Lenin estudia para su examen
q ~r
Si Lenin va a la fiesta ,entonces no estudiará para
y ~ q
su examen ; pero no es el caso que vaya a la fiesta
p entonces r
y apruebe sus cursos. De ahí que Lenin estudia
para su examen.
 4.-Dada las proposiciones simbolizar
p: Lenin aprueba los cursos
q : Lenin va a la fiesta
r: Lenin estudia para su examen
q ~r
Si Lenin va a la fiesta ,entonces no estudiará para
y ~ q
su examen ; pero no es el caso que vaya a la fiesta
p entonces r
y apruebe sus cursos. De ahí que Lenin estudia
para su examen.
 4. Dada las proposiciones simbolizar
p: Edgar es arquitecto
q : Manuel es ingeniero
r: David es médico

Si David es médico , Manuel no es ingeniero

pero no es cierto que Edgar sea arquitecto.
 Dada las proposiciones simbolizar
p: Edgar es arquitecto
q : Manuel es ingeniero
r: David es médico

Si David es médico , Manuel no es ingeniero

pero no es cierto que Edgar sea arquitecto.
LEYES LÓGICAS
 LEYES LÓGICAS
PRIMER PRINCIPIO : Principio de identidad
• El río Mantaro es el río Mantaro.
• pp, también: AA, Asimismo: p  p, también: A  A
 LEYES LÓGICAS
SEGUNDO PRINCIPIO : Principio de no
contradicción
No es posible que una montaña no sea
una montaña.
(p  p), también: (A  A)
 LEYES LÓGICAS

TERCER PRINCIPIO : Principio de tercio

excluido
Esta es la calle Real o no es la calle Real.
p  p, también: A  A
 EQUIVALENCIAS NOTABLES
1. Eliminación de la doble negación (EDN):
• No es cierto que nosotros no construiremos un aeropuerto,
es lo mismo que decir: Nosotros construiremos un
aeropuerto.
AA
 EQUIVALENCIAS NOTABLES
2. IDEMPOTENCIA
Juan Carlos estudia y Juan Carlos estudia. Es lo mismo
que: Juan Carlos estudia.
AA  A
 EQUIVALENCIAS NOTABLES
3. Conmutación:
Viki estudia Agronegocios y Noelia estudia
Psicología, es lo mismo que: Noelia estudia
Psicología y Viki estudia Agronegocios.
AB  BA, también: AB  BA y AB  BA
 EQUIVALENCIAS NOTABLES
4. Asociación:
Los gases tóxicos de las fábricas contaminan el ambiente. Además lo
hacen los vehículos y los desechos humanos sin tratamiento. Esto es lo
mismo que: Los gases tóxicos de las fábricas y los vehículos contaminan el
ambiente. Además lo hacen los desechos humanos sin tratamiento.
A(BC)  (AB)C, también: A(BC)  (AB)C
 EQUIVALENCIAS NOTABLES
5. Distribución:
Luis corre. Además, Julio salta o Carlos baila. Es lo
mismo que: Luis corre y Julio salta, o Luis corre y Carlos
baila.
A(BC)  (AB)(AC)

A(BC)  (AB)(AC)
 EQUIVALENCIAS NOTABLES
6. Teorema de De Morgan (DM):
• No es cierto que María es atleta y Nancy es bailarina,
equivale a decir: María no es atleta o Nancy no es bailarina.
• No es cierto que Juan es medico o Pedro es aviador,
equivale a decir: Juan no es médico y Pedro no es aviador.

(AB)  A  B

(AB)  A  B
 EQUIVALENCIAS NOTABLES
7. Definición del Condicional:
Si llueve entonces el suelo está mojado. Es lo mismo
que: No llueve o el suelo está mojado.
A → B  A  B
 EQUIVALENCIAS NOTABLES
8. Contra recíproco o Transposición:
Si hay agua, entonces me lavo las manos. Esto es lo mismo
que: Si no me lavo las manos, entonces no hay agua.

A → B  B → A
 EQUIVALENCIAS NOTABLES
9. Definición del Bicondicional:
• El estudiante tiene beca, si y solo si, estudia gratuitamente.
Esto es lo mismo que: Si el estudiante tiene beca, entonces
estudia gratuitamente. Y si el estudiante estudia
gratuitamente, entonces tiene beca.
AB  (A→B)(B→A)
AB  (AB)(A  B )
EQUIVALENCIAS NOTABLES
1.[(p → q)  q]  [q  (p  q)]
1.[(p → q)  q]  [q  (p  q)] Leyes utilizadas
1. Ley de condicional
1 p → q≡ (p  q)
[(p  q)  q]  [q  (p  q)]
 Leyes utilizadas
1.[(p → q)  q]  [q  (p  q)] 1. Ley de condicional
p → q≡ (p  q)
1 2.1 Ley de De Morgan
[(p  q)  q]  [q  (p  q)]
∴ ~ ~𝒑˅𝒒 ≡ ~ ~𝒑 ˄~𝒒
2

[(p   q)  q]  [q  (p  q)] 2.2 Ley de la doble Negación

∴ ~ ~𝒑 ˄~q ≡ 𝒑˄~q
 Leyes utilizadas
1.[(p → q)  q]  [q  (p  q)] 1. Ley de condicional
p → q≡ (p  q)
1 2.1 Ley de De Morgan
[(p  q)  q]  [q  (p  q)]
∴ ~ ~𝒑˅𝒒 ≡ ~ ~𝒑 ˄~𝒒
2
2.2 Ley de la doble Negación
[(p   q)  q]  [q  (p  q)]
3 ∴ ~ ~𝒑 ˄~q ≡ 𝒑˄~q
 Leyes utilizadas
1.[(p → q)  q]  [q  (p  q)] 1. Ley de condicional
p → q≡ (p  q)
1 2.1 Ley de De Morgan
[(p  q)  q]  [q  (p  q)]
∴ ~ ~𝒑˅𝒒 ≡ ~ ~𝒑 ˄~𝒒
2
2.2 Ley de la doble Negación
[(p   q)  q]  [q  (p  q)]
3 ∴ ~ ~𝒑 ˄~q ≡ 𝒑˄~q
3.Ley conmutativa
[q  ( q  p) ]  [q  (p  q)]
∴ (𝒑˄~𝐪)˅𝒒 ≡ 𝒒˅(~𝐪˄𝒑)
 Leyes utilizadas
4. Ley de la absorción
[q  ( q  p) ]  [q  (p  q)]
4 [q  ( q  p) ≡ (q  p)
[q  p]  [q  (p  q)]
 Leyes utilizadas
4. Ley de la absorción
[q  ( q  p) ]  [q  (p  q)]
4 [q  ( q  p) ≡ (q  p)
[q  p]  [q  (p  q)] 5.Ley conmutativa
5

[q  p]  [q  (qp)] ∴ (p q) ≡ (qp)

 Leyes utilizadas
4. Ley de la absorción
[q  ( q  p) ]  [q  (p  q)]
4 [q  ( q  p) ≡ (q  p)
[q  p]  [q  (p  q)] 5.Ley conmutativa
5

[q  p]  [q  (qp)] ∴ (pq) ≡ (qp)

6.Ley asociativa
6

[q  p]  [(q q)p] ∴ [q(qp)] ≡ [(q  q)p]

 Leyes utilizadas
[q  p]  [(q q)p] 7. Ley del complemento

7 [(qq) ≡ 𝑽
[q  p] ] [𝑽   p]
 Leyes utilizadas
7. Ley del Complemento
[q  p]  [(q q)p]
7 [(qq) ≡ 𝑽
[q  p]  [𝑽   p] 8. Ley de la identidad
8
[𝑽   p] ≡ 𝑽
[q  p]  𝑽
9. Ley de la identidad
9

[q  p] [q  p] 𝑽 ≡ [q  p]
 Leyes utilizadas
7. Ley del Complemento
[q  p]  [(q q)p]
7 [(qq) ≡ 𝑽
[q  p]  [𝑽   p] 8. Ley de la identidad
8
[𝑽   p] ≡ 𝑽
[q  p]  𝑽
9. Ley de la identidad
9

[q  p] [q  p] 𝑽 ≡ [q  p]