Agenda

► Descripción actividades Semana 2.

► Repaso (muy breve) de la sesión anterior.

► Finalización métodos de prueba.

► Descripción tema Semana 3.

Tema 1. Métodos de prueba 1

Lectura. Criptografía de clave pública

Tema 1. Métodos de prueba 2

En la sesión anterior…

Tema 1. Métodos de prueba 3

Variables y cuantificadores

Ejercicio de repaso 1*
Denotemos por P(x) la sentencia ≪ 𝑥 ≤ 4 ≫. ¿Cuáles son los valores de verdad
siguientes?

a) P(0)

b) P(4)

c) P(6)

Tomado de Rosen, Kenneth H. (2004), Matemáticas discretas y sus aplicaciones. Quinta Edición. McGraw-Hill. Pág. 36

Tema 1. Métodos de prueba 4

Variables y cuantificadores

Ejercicio de repaso 2*
Sea P(x) la sentencia <<x asiste a más de cinco horas de clase al día>>, donde el
dominio de x consiste en todos los estudiantes. Expresa las siguientes cuantificaciones
en lenguaje natural:

a) ∃xP(x)

b) ∀xP(x)

Tomado de Rosen, Kenneth H. (2004), Matemáticas discretas y sus aplicaciones. Quinta Edición. McGraw-Hill. Pág. 36

Tema 1. Métodos de prueba 5

Álgebra y Matemática Discreta
Tema 1. Métodos de prueba
Esquema

Tema 1. Métodos de prueba 7

Reglas de inferencia. Conceptos previos

Negación
La negación de p se denota ¬p

Ejemplo 1
Escribe la negación de la proposición Hoy es viernes

Tabla de verdad de la negación

Tema 1. Métodos de prueba 8

Reglas de inferencia. Conceptos previos

Conjunción
La proposición p ʌ q se llama conjunción

Ejemplo 2
Si p es el enunciado Jorge es mayor de edad y q es el enunciado Jorge compró una
boleta, ¿cuál es la conjunción de p y q?

Tabla de verdad de la conjunción

Tema 1. Métodos de prueba 9

Reglas de inferencia. Conceptos previos

Disyunción
La proposición p v q se llama disyunción

Ejemplo 3
Si p es el enunciado Jorge es menor de edad y q es el enunciado Jorge estudia en la
universidad, ¿cuál es la disyunción de p y q?

Tabla de verdad de la disyunción

Tema 1. Métodos de prueba 10

Reglas de inferencia. Conceptos previos

Condicional (implicación)
La proposición p → q se llama condicional

Ejemplo 4
Represente la siguiente oración mediante variables proposicionales y conectivos
lógicos: Si hoy hace sol entonces iremos a nadar.

Tabla de verdad del condicional

Tema 1. Métodos de prueba 11

Reglas de inferencia. Conceptos previos

Contraposición del condicional

La contraproposición de 𝑝 → 𝑞 es ~𝑞 → ~𝑝

Ejemplo 5
Muestra que una sentencia condicional y su contraposición son lógicamente
equivalentes.

Tema 1. Métodos de prueba 12

Reglas de inferencia

Modus ponen
(modus ponendo ponen: modo que afirmando afirma)
Se basa en la tautología: [𝑝 ‫𝑞 → ] 𝑞 → 𝑝 ٿ‬
[𝑝

Si tanto una implicación como su hipótesis son verdaderas, entonces la conclusión de

la implicación es verdadera.
𝑝 𝑞 𝑝→𝑞 𝑝 ‫𝑞→𝑝 ٿ‬ [𝑝 ‫𝑞 → ] 𝑞 → 𝑝 ٿ‬

Tema 1. Métodos de prueba 13

Reglas de inferencia

Ejemplo 6
Suponga que la implicación “Si nieva hoy, iremos a esquiar” y la proposición “Está
nevando hoy”, son verdaderas. ¿Qué puede afirmarse?

a No está nevando hoy

b No iremos a esquiar

c Iremos a esquiar

d Ninguna es válida

Tema 1. Métodos de prueba 14

Reglas de inferencia

Ejemplo 6
Suponga que la implicación “Si nieva hoy, iremos a esquiar” y la proposición “Está
nevando hoy”, son verdaderas. ¿Qué puede afirmarse?

a No está nevando hoy

b No iremos a esquiar

c Iremos a esquiar

d Ninguna es válida

Tema 1. Métodos de prueba 15

Reglas de inferencia

Modus tollens
(modus tollendo tollens: modo que negando niega)
Se basa en la tautología: [~𝑞 ‫𝑝~ → ] 𝑞 → 𝑝 ٿ‬
[𝑝

Si tanto una implicación como la negación de su conclusión son verdaderas, entonces

la negación de la hipótesis es verdadera.
𝑝 𝑞 ~𝑞 𝑝→𝑞 ~𝑞 ‫𝑞 → 𝑝 ٿ‬ [~𝑞 ‫𝑝~ → ] 𝑞 → 𝑝 ٿ‬

Tema 1. Métodos de prueba 16

Reglas de inferencia

Ejemplo 7
Suponga que la implicación “Si llueve hoy, vamos a cine” y la proposición “No fuimos a
cine”, son verdaderas. ¿Qué puede afirmarse?

a Está lloviendo hoy

b No está lloviendo hoy

c Fuimos a cine

d Ninguna es válida

Tema 1. Métodos de prueba 17

Reglas de inferencia

Ejemplo 7
Suponga que la implicación “Si llueve hoy, vamos a cine” y la proposición “No fuimos a
cine”, son verdaderas. ¿Qué puede afirmarse?

a Está lloviendo hoy

b No está lloviendo hoy

c Fuimos a cine

d Ninguna es válida

Tema 1. Métodos de prueba 18

Métodos de demostración

Prueba directa
La implicación se puede demostrar viendo que, si la
hipótesis es verdadera, entonces la conclusión también
debe ser verdadera.

Ejemplo 8
Completa la siguiente tabla para el condicional

V F
F
F

Tema 1. Métodos de prueba 19

Métodos de demostración

Ejemplo 9
¿Cuál de las siguientes expresiones representa un
número impar, siendo k un número entero?

a 𝑘+1
b 2𝑘
c 2𝑘 + 1
d 𝑘2

Tema 1. Métodos de prueba 20

Métodos de demostración

Ejemplo 9
¿Cuál de las siguientes expresiones representa un
número impar, siendo k un número entero?

a 𝑘+1
b 2𝑘

xc 2𝑘 + 1
d 𝑘2

Tema 1. Métodos de prueba 21

Métodos de demostración

Prueba directa

Ejemplo 10
Demuestre que “Si n es un entero impar, entonces 𝑛2 es un entero impar”

Tema 1. Métodos de prueba 22

Métodos de demostración

Prueba por contraposición

Se basa en que una implicación y su contraposición son
lógicamente equivalentes.

Ejemplo 11
Completa la siguiente tabla para la contraposición del condicional

V F
V F V
F V
F

Tema 1. Métodos de prueba 23

Métodos de demostración

Prueba por contraposición

Ejemplo 12
Demuestre que “Si 3n + 2 es impar, entonces n es impar”

Tema 1. Métodos de prueba 24

En esta sesión…

Tema 1. Métodos de prueba 25

Para seguir practicando

Resuelve los siguientes problemas de la sección 1.5 (pág. 69) del libro guía de
la asignatura:

• Problema 20, partes a y b.

• Problema 21, parte a.
• Problema 22, parte a.
• Problema 23.
• Problema 24.

Respuestas:
Pueden compartirlas en el foro pregúntale a tu profesor

Tema 1. Métodos de prueba 26

En la siguiente sesión…

Algunos ejemplos

Tema 1. Métodos de prueba 27

En la siguiente sesión…

Tema 1. Métodos de prueba 28

Rafael Ángel Montoya Gutiérrez
Docente

unir.edu.co