Álgebra y Matemática Discreta

Prof. Federico Vicente Cristóbal

Tema 1: Métodos de prueba

Universidad Internacional de La Rioja

Álgebra y Matemática Discreta

Aritmética: Números y operaciones fundamentales entre ellos →

Añadimos símbolos para representar variables, coeficientes e
incógnitas → Se realizan cálculos y combinaciones entre números y
símbolos → Álgebra

Matemática Discreta: Estudia los conjuntos discretos (finitos o infinitos

numerables –entre un elemento y otro no existen más elementos-)
cuyos elementos pueden contarse uno por uno separadamente, de
ahí su importancia en la Ciencia Computacional

2
Índice

► Variables y cuantificadores

► Métodos de prueba

3
Esquema

4
Variables y cuantificadores

Leer el capítulo 1 (sobre todo apartado 1.5 <<Métodos de demostración>>) del libro
“Matemática Discreta y sus Aplicaciones”, por Kenneth H. Rosen; J. M. Pérez,
disponible en la Biblioteca Virtual

Proposición: Oración declarativa que es verdadera o falsa, pero no ambas

cosas a la vez

Ejercicio 1. Decidir si son proposiciones o no las siguientes oraciones.

1. Bruselas es la capital europea

2. Toronto es la capital de Canadá
3. ¿Qué hora es?
4. Lee esto con atención
5. x + 1 = 2

5
Variables y cuantificadores

Si p y q son proposiciones, entonces las oraciones

“No se cumple p” (no p)

“p y q” (conjunción)

“p o q” (disyunción)

también son proposiciones

6
Variables y cuantificadores: Tablas de verdad

“No se cumple p” (no p)

“p y q” (conjunción)

“p o q” (disyunción)

7
Variables y cuantificadores

Si p y q son proposiciones, entonces

• El conectivo exclusivo de p y q es la proposición

que solo es verdadera cuando lo es exactamente
una de las dos proposiciones

• La implicación (p implica q) es la proposición que

solo es falsa cuando p es verdadera y q es falsa
Analizar la famosa frase de Descartes de
“Pienso, luego existo”

• La Doble implicación

8
Variables y cuantificadores
Si tenemos la proposición “p implica q”

La proposición recíproca es “q implica p”

La proposición contrarrecíproca es “no q implica no p”

Ejercicio: Probar que la tabla de verdad de la implicación es igual a la de su

contrarrecíproca

9
Variables y cuantificadores

Un predicado P(x) es una afirmación sobre una variable x

El predicado no es verdadero ni falso (es decir, no es una proposición). Para

saber si es verdadero o falso especificarse el valor a x

Ejemplo:

P(x): x < 3, P(x) predicado.

P(2) proposición verdadera, P(4) proposición falsa

10
Variables y cuantificadores

La cuantificación universal de P(x) es la proposición “P(x) es

verdadera para todos los valores x del dominio”

La cuantificación existencial de P(x) es la proposición “Existe un

elemento de x en el dominio tal que P(x) es verdadera”

11
Variables y cuantificadores

Una variable x está ligada cuando le asignamos un valor o usamos un

cuantificador sobre ella

Ejemplo 1:

“Algún estudiante de esta clase ha visitado México” puede formalizarse

como:

M(x): “x ha visitado México”. Si el dominio de x es la clase,

“Existe x tal que M(x)”

12
Variables y cuantificadores

Cuantificación implícita en matemáticas

Ejemplos:

1. Todo número racional es también un número real

P(x): “x es racional”; Q(x): “x es real”

Para todo x, (P(x) implica Q(x))

2. 41 es la suma de dos cuadrados perfectos

Existe m y existe n tales que (41=m2+n2)

13
Métodos de prueba

En la proposición “p implica q”, p es la hipótesis o premisa y q la conclusión o

tesis

Existen distintas técnicas de demostración, veremos solo algunas de ellas

Demostración directa

14
Métodos de prueba
Demostración indirecta: Por contraposición

“no q implica no p” (contrarrecíproca), luego

15
Métodos de prueba
Demostración indirecta: Por contradicción

16
Métodos de prueba

• Todos estos son métodos deductivos: de lo general a lo particular

• Métodos inductivos: de lo particular a lo general

• Ojo, la inducción, en general, no es un método válido de demostración

• La inducción matemática sí es una forma válida de hacer demostraciones

17
www.unir.net