Matemáticas Discretas

Álgebra de proposiciones
Cuantificadores
Demostraciones
Matemáticas Discretas
Matemáticas Discretas
Jorge Moreno.
Jorge Moreno
Cuantificadores
Demostraciones
Contenido
1 Álgebra de proposiciones
2 Cuantificadores
3 Demostraciones
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1
Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Entonces se cumplen las siguientes equivalencias:
1 (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r ), (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r ) (asociatividad)
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

2 p ∨ q ⇔ q ∨ p, p ∧ q ⇔ q ∧ p (conmutatividad)
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

3 p ∧ (q ∨ r ) ⇔ (p ∧ q) ∨ (p ∧ r ),p ∨ (q ∧ r ) ⇔ (p ∨ q) ∧ (p ∨ r ), (distributividad)
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

4 p ∨ F ⇔ p , p ∧ V ⇔ p (identidad)
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

5 p ∨ ¬p ⇔ V , p ∧ ¬p ⇔ F (complemento)
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

6 p ∨ p ⇔ p , p ∧ p ⇔ p (idempotencia)
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

7 p ∨ V ⇔ V , p ∧ F ⇔ F (acotación)
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

8 ¬(¬p ) ⇔ p(involución)
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

9 ¬F ⇔ V , ¬V ⇔ F
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 1

9 ¬F ⇔ V , ¬V ⇔ F
10 ¬(p ∨ q) ⇔ (¬p ∧ ¬q), ¬(p ∧ q) ⇔ (¬p ∨ ¬q) (leyes de De Morgan )
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 1
Verificar las leyes de De Morgan para la lógica.
¬(p ∨ q) ≡ ¬p ∧ ¬q y ¬(p ∧ q) ≡ ¬p ∨ ¬q.
Solución:
Hagamos P = ¬(p ∧ q), Q = ¬p ∨ ¬q entonces
p q ¬p ¬q p∧q ¬(p ∧ q) ¬p ∨ ¬q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Así, P ≡ Q .
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 1
Verificar las leyes de De Morgan para la lógica.
¬(p ∨ q) ≡ ¬p ∧ ¬q y ¬(p ∧ q) ≡ ¬p ∨ ¬q.
Solución:
Hagamos P = ¬(p ∧ q), Q = ¬p ∨ ¬q entonces
p q ¬p ¬q p∧q ¬(p ∧ q) ¬p ∨ ¬q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
Así, P ≡ Q .
Observación 1
Es fácil ver que la Relación P ≡ Q es una relación de equivalencia en el
conjunto de todas las formas proposicionales.
Jorge Moreno
Cuantificadores
Demostraciones
Ejercicios resueltos.
Demuestre usando el algebra de proposiciones las siguientes

equivalencias.
(Se puede usar cualquiera de los símbolos ≡ o ⇔).
1 ¬p ∧ (q ∨ p ) ≡ (¬p ∧ q)
Demostración:
¬p ∧ (q ∨ p ) ≡ (¬p ∧ q) ∨ (¬p ∧ p ) ley distributiva

≡ (¬p ∧ q) ∨ (p ∧ ¬p ) ley conmutativa
≡ (¬p ∧ q) ∨ F ley de complemento
≡ (¬p ∧ q) identidad
Jorge Moreno
Cuantificadores
Demostraciones

equivalencias.
2 p ∨ (p ∧ q) ⇔ p , p ∧ (p ∨ q) ⇔ p (Ley de absorción)
Demostración:
p ∧ (p ∨ q) ≡ (p ∨ F ) ∧ (p ∨ q) ley identidad
≡ p ∨ (F ∧ q) ley distibutiva
≡ p∨F ley acotacion
≡ p identidad
Jorge Moreno
Cuantificadores
Demostraciones

equivalencias.
3 p ∧ ¬q ⇔ p ∧ ¬(q ∨ ¬p )
Demostración:
p ∧ ¬(q ∨ ¬p ) ⇔ p ∧ (¬q ∧ ¬(¬p )) ley de De Morgan

⇔ p ∧ (¬q ∧ p ) ley de involucion
⇔ p ∧ (p ∧ ¬q) ley conmutativa
⇔ (p ∧ p ) ∧ ¬q ley asociativa
⇔ p ∧ ¬q ley idempotencia
Jorge Moreno
Cuantificadores
Demostraciones

equivalencias.
4 ((¬p ∨ q) ∨ r ) ∧ ((¬p ∨ q) ∨ ¬r ) ⇔ p → q
Demostración:
((¬p ∨ q) ∨ r ) ∧ ((¬p ∨ q) ∨ ¬r ) ⇔ (¬p ∨ q) ∨ (r ∧ ¬r ) ley distributiva

⇔ (¬p ∨ q) ∨ F ley complemento
⇔ ¬p ∨ q ley identidad
⇔ p → q ley condicional
Jorge Moreno
Cuantificadores
Demostraciones

equivalencias.
5 p → q ≡ ¬q → ¬p (Ley del contrarrecíproco)

Demostración:
¬q → ¬p ≡ ley del condicional

≡ ley de involucion
≡ ley conmutativa
≡ p→q ley ...
Jorge Moreno
Cuantificadores
Demostraciones
Consideremos la afirmación p : n es un entero impar.

p no es una proposición, ya que es verdadera o falsa dependiendo
del valor de n. por ejemplo, si n = 9 p es verdadera y si n = 6 p es
falsa.
Para incluir este tipo de afirmaciones necesitamos la siguiente;
Jorge Moreno
Cuantificadores
Demostraciones
Definición 1
Sea P (x ) una oración que incluye a la variable x y sea D un
conjunto. Diremos que P es una función proposicional, si para
cada x ∈ D, P (x ) es una proposición. En este caso, D es el
dominio de discurso de P.
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 2
Sea P (n) : n es un entero impar y sea D el conjunto de enteros
positivos. Entonces P es una función proposicional con dominio
de discurso D, ya que para cada n ∈ D , P (n) es una proposición.
P (5) : 5 es un entero impar (verdadera) y P (4) : 4 es un entero
impar(falsa).
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 2
Las siguientes afirmaciones son funciones proposicionales.
1 n2 + 2n es un entero impar.(D=N)
2 x 2 − x − 6 = 0. (D=R)
3 El futbolista anotó más de 34 goles en 2018. (D=conjunto de
futbolistas).
Jorge Moreno
Cuantificadores
Demostraciones
Definición 1
Sea P una función proposicional con dominio de discurso D.
Diremos que la afirmación Para toda x en D , P (x )
es una afirmación cuantificada universalmente.
El simbolo ∀ significa para todo, para cualquier, para cada.

Así, la afirmación, para toda x en D , P (x ), se escribe
∀x ∈ D : P (x ).
El simbolo ∀ se llama cuantificador universal.
La afirmación ∀x ∈ D : P (x ) es verdadera, si P (x ) es verdadera,
para toda x ∈ D y es falsa si P (x ) es falsa para al menos un x ∈ D .
Un valor x en D que hace a P (x ) falsa se llama un contraejemplo
de la afirmación ∀x ∈ D : P (x ).
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 3
1 La afirmación ∀x ∈ R, x 2 ≥ 0 es verdadera, ya que para cada
x ∈ R es cierto que x 2 > 0 o x 2 = 0.
2 La afirmación ∀x ∈ R, x 2 − 1 > 0 es falsa, basta tomar x = 0
para que 02 − 1 > 0 sea falsa.
0 es un contraejemplo de la afirmación,∀x ∈ R, x 2 − 1 > 0 .
Aunque para algunos x ∈ R, x 2 − 1 > 0 es verdadera, el
contraejemplo hace que ∀x ∈ R, x 2 − 1 > 0 sea falsa.
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 3
Verifique que la afirmación cuantificada universalmente
para todo número real x, si x > 1 entonces x + 1 > 1
es verdadera.
Simbólicamente tenemos ∀x ∈ R, x > 1 → x + 1 > 1 queremos
probar que x > 1 → x + 1 > 1 es verdadera, para todo número
real x.
Fijemos un número real x arbitrario.
Si x ≤ 1 entonces x > 1 → x + 1 > 1 es verdadera (por omisión).
Si x > 1 sabemos que 1 > 0 y x > 1 así x + 1 > 1 y nuevamente
x > 1 → x + 1 > 1 es verdadera.
Concluímos que, para todo número real x, si x > 1 entonces
x +1>1
es verdadera.
Jorge Moreno
Cuantificadores
Demostraciones
Definición 2
Diremos que la afirmación existe x en D, P (x )
es una afirmación cuantificada existencialmente.
El simbolo ∃ significa existe, existe un, existe algún.

Así, la afirmación, existe x en D , P (x ), se escribe ∃x ∈ D : P (x ).
El simbolo ∃ se llama cuantificador existencial.
La afirmación ∃x ∈ D : P (x ) es verdadera, si P (x ) es verdadera,
para al menos un x ∈ D y es falsa si P (x ) es falsa para todo x ∈ D .
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 4
Consideremos la afirmación
x 2
existe un número real x, que satisface =
x2 +1 5
x 2
simbólicamente, tenemos ∃x ∈ R, = esta afirmación es
+1 x2
5
x 2
verdadera ya que al menos un x ∈ R, hace que 2 = sea
x +1 5
verdadera.
2 2
Por ejemplo, tomando x = 2, 2 = es verdadera.
2 +1 5
x 2
En este caso, existe un número real x , que satisface 2 =
x +1 5
es verdadera aunque
x 2
2
= sea falsa para algunos x , por ejemplo, para x = 0 o
x +1 5
x = −1
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 4
Verifiquemos que la proposición
1
∃x ∈ R, 2 > 1 es falsa.
x +1
En efecto, dado cualquier x ∈ R tenemos que x 2 ≥ 0 es verdadera,

1
así, x 2 + 1 ≥ 1 y dividiendo 2 ≤ 1 es verdadera por lo que
x +1
1 1
2
> 1 es falsa, para todo x ∈ R. Esto es, ∃x ∈ R, 2 >1
x +1 x +1
es falsa.
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 2
Entonces
1 ¬(∀x ∈ D , P (x )) ≡ ∃x ∈ D , ¬P (x )
2 ¬(∃x ∈ D , P (x )) ≡ ∀x ∈ D , ¬P (x )
Jorge Moreno
Cuantificadores
Demostraciones
Teorema 2
Entonces
1 ¬(∀x ∈ D , P (x )) ≡ ∃x ∈ D , ¬P (x )
2 ¬(∃x ∈ D , P (x )) ≡ ∀x ∈ D , ¬P (x )
Demostración:
Probemos 1) , la prueba de 2) es análoga.
Si ¬(∀x ∈ D , P (x )) es verdadera , ∀x ∈ D , P (x ) es falsa, esto es,
existe un x ∈ D para el cual P (x ) es falsa y entonces para ese
x ∈ D , ¬P (x ) es verdadera. Es decir, ∃x ∈ D , ¬P (x ) es verdadera.
Si ¬(∀x ∈ D , P (x )) es falsa , ∀x ∈ D , P (x ) es verdadera, esto es,
P (x ) es verdadera, para todo x ∈ D y ¬P (x ) es falsa, para todo
x ∈ D . Es decir, ∃x ∈ D , ¬P (x ) es falsa.
Jorge Moreno
Cuantificadores
Demostraciones
Definición 2
Un axioma es un resultado que suponemos verdadero (sin
demostrarlo).
Un teorema es una proposición la cual se ha probado que es
verdadera.
Un lema es un teorema que no suele ser interesante por sí mismo,
pero resulta útil para probar otro teorema.Un corolario es un
teorema que se obtiene fácilmente de otro teorema.
Un argumento que establece la veracidad de un teorema es una
demostración o prueba.
Jorge Moreno
Cuantificadores
Demostraciones
frecuencia los teoremas son de la forma

para todo x1 , x2 , ..., xn , si p (x1 , x2 , ..., xn ) entonces q(x1 , x2 , ..., xn )
Esta proposición cuantificada universalmente, es verdadera si
p (x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadero para todo
x1 , x2 , ..., xn en el dominio de discurso.
Para probar que p (x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadera
sólo consideramos el caso p (x1 , x2 , ..., xn ) verdadera ya que
cuando p (x1 , x2 , ..., xn ) es falsa
p (x1 , x2 , ..., xn ) → q(x1 , x2 , ..., xn ) es verdadera por omisión.
Una prueba directa supone que p (x1 , x2 , ..., xn ) es verdadera y
usando p (x1 , x2 , ..., xn ), junto con otros axiomas, definiciones y
teoremas derivados antes, demuestra que q(x1 , x2 , ..., xn ) es
verdadera.
Jorge Moreno
Cuantificadores
Demostraciones
Definición 2
Sea n un número entero. Diremos que n es par, si existe un entero
k tal que n = 2k . Diremos que n es impar si existe un entero k tal
que n = 2k + 1.
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 5
Pruebe de manera directa la afirmación. Para cualesquiera
enteros m y n, si m es impar y n es par entonces m + n es impar.
Demostración:
Suponemos que m y n son enteros arbitrarios y que m es impar y
n es par es verdadera. Entonces como m es impar existe un
entero k1 tal que m = 2k1 + 1 y existe un entero k2 tal que n = 2k2 .
Así, m + n = 2k1 + 1 + 2k2 = 2(k1 + k2 ) + 1. Si hacemos
k = k1 + k2 entonces k es entero y m + n = 2k + 1, esto es m + n
es impar es verdadera.
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 5
Sean a , b números reales. Escribiremos min{a , b } para
representar al valor mínimo entre a y b. Por lo que si a ≤ b,
min{a , b } = a y si a > b,min{a , b } = b. Demuestre la siguiente
afirmación.
Para cualesquiera números reales d , a , b , x, si d = min{a , b } y
x ≤ d entonces x ≤ a y x ≤ b.
Demostración:
Suponemos que d , a , b , x son números reales arbitrarios y
d = min{a , b } y x ≤ d es verdadera. Como d = min{a , b } entonces
d ≤ a y d ≤ b, ahora x ≤ d y d ≤ a por lo que x ≤ a.
De igual forma, x ≤ d y d ≤ b, en consecuencia, x ≤ b.
Esto es, x ≤ a y x ≤ b es verdadera.
Jorge Moreno
Cuantificadores
Demostraciones
Una segunda técnica de demostración es la

prueba por contradicción, donde para probar que p → q es
verdadera, suponemos que es falsa, es decir p es verdadera y q
es falsa, así usando que p ∧ ¬q es verdadera junto con otros
axiomas, definiciones y teoremas derivados antes llegamos a una
contradicción. Por ejemplo, r ∧ ¬r , donde r puede ser cualquier
proposición. Una prueba por contradicción también se llama
prueba indirecta.
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 6
Pruebe que la siguiente proposición es verdadera
Para todos los números reales x , y, si x + y ≥ 2 entonces x ≥ 1 o
y ≥ 1.
Demostración:
Sean x , y números reales arbitrarios y supongamos que
p (x , y ) : x + y ≥ 2 es verdadera y q(x , y ) : x ≥ 1 o y ≥ 1 es falsa
entonces por las leyes de De Morgan.
¬(x ≥ 1 ∨ y ≥ 1) ≡ ¬(x ≥ 1) ∧ ¬(y ≥ 1) ≡ x < 1 ∧ y < 1.
Así, x < 1 y y < 1 son verdaderas lo que implica que x + y < 2 es
verdadera, es decir, x + y ≥ 2 es falsa, esto es,
x + y ≥ 2 ∧ ¬(x + y ≥ 2) es verdadera.
Por lo que, la proposición es verdadera.
Jorge Moreno
Cuantificadores
Demostraciones
caso particular de prueba por contradicción donde se obtiene que

¬q → ¬p es verdadera, se llama prueba por contrarrecíproco.
Ejemplo 7
Pruebe por contrarrecípoco la proposición
para todo entero m, si m2 es impar entonces m es impar.
Demostración: Supongamos que m es impar es falsa, entonces
m es par es verdadera, esto es, existe un entero k tal que m = 2k
y así, m2 = (2k )2 = 4k 2 = 2n, donde n = 2k 2 es un entero, es
decir m2 es par es verdadero, hemos probado que ¬q → ¬p es
verdadera.
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 8
Para todo entero m, si m es impar entonces m2 es impar.
Demostración: Si m es impar entonces m = 2k + 1, para algún k ∈ Z.
Así,
m2 = (2k + 1)2 = (2k )2 + 2 · 2k + 1

= 4k 2 + 4k + 1 = 2(2k 2 + 2k ) + 1 = 2n + 1,
donde n = 2k 2 + 2k ∈ Z.
Esto es, m2 es impar.
Jorge Moreno
Cuantificadores
Demostraciones
Ejemplo 8
Para todo entero m, si m es impar entonces m2 es impar.
Demostración: Si m es impar entonces m = 2k + 1, para algún k ∈ Z.
Así,
m2 = (2k + 1)2 = (2k )2 + 2 · 2k + 1

= 4k 2 + 4k + 1 = 2(2k 2 + 2k ) + 1 = 2n + 1,
donde n = 2k 2 + 2k ∈ Z.
Esto es, m2 es impar.
Observación 2
Usando la ley del contrarrecíproco, de los 2 ejemplos anteriores
concluímos que
Para todo entero m, m2 es impar si y sólo si m es impar, y
Para todo entero m, m2 es par si y sólo si m es par.
Jorge Moreno

Matemáticas Discretas

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Matemáticas Discretas

Cargado por

Copyright:

Formatos disponibles

Álgebra de proposiciones

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Sean p , q, r variables proposicionales, V una tautología y F una contradicción.

Demuestre usando el algebra de proposiciones las siguientes

¬p ∧ (q ∨ p ) ≡ (¬p ∧ q) ∨ (¬p ∧ p ) ley distributiva

Demuestre usando el algebra de proposiciones las siguientes

Demuestre usando el algebra de proposiciones las siguientes

p ∧ ¬(q ∨ ¬p ) ⇔ p ∧ (¬q ∧ ¬(¬p )) ley de De Morgan

Demuestre usando el algebra de proposiciones las siguientes

((¬p ∨ q) ∨ r ) ∧ ((¬p ∨ q) ∨ ¬r ) ⇔ (¬p ∨ q) ∨ (r ∧ ¬r ) ley distributiva

Demuestre usando el algebra de proposiciones las siguientes

5 p → q ≡ ¬q → ¬p (Ley del contrarrecíproco)

¬q → ¬p ≡ ley del condicional

Consideremos la afirmación p : n es un entero impar.

El simbolo ∀ significa para todo, para cualquier, para cada.

El simbolo ∃ significa existe, existe un, existe algún.

En efecto, dado cualquier x ∈ R tenemos que x 2 ≥ 0 es verdadera,

frecuencia los teoremas son de la forma

Una segunda técnica de demostración es la

caso particular de prueba por contradicción donde se obtiene que

m2 = (2k + 1)2 = (2k )2 + 2 · 2k + 1

m2 = (2k + 1)2 = (2k )2 + 2 · 2k + 1

También podría gustarte