UADY

ÁLGEBRA SUPERIOR
Alejandro Coba

GRUPO B

Integrantes Equipo:
Monroy Cáceres Héctor Gabriel
Pansza Hernández María Valentina
Peniche Rodríguez Lourdes de Jesús
Troyo May Lilia Arlette
Velázquez Várguez Adrián Gabriel
Villanueva Mendoza Luis Enrique

2020-2021
Ejercicio 1.- Usando tablas de verdad, demuestre que las siguientes implicaciones son tautologías.

c) ¬p⇒ (p⇒q)

p q ¬p (p⇒q) ¬p⇒ (p⇒q)

1 1 0 1 1

1 0 0 0 1

0 1 1 1 1

0 0 1 1 1

d) (p ∧ q) ⇒ (p⇒q)

p q p∧q p⇒q (p ∧ q) ⇒ (p⇒q)

1 1 1 1 1

1 0 0 0 1

0 1 0 1 1

0 0 0 1 1

Ejercicio 2.- Sin usar tablas de verdad demuestre cada una de las siguientes proposiciones.

a) [¬(p v (¬p ^ q))] <-> [¬p ^ ¬q]

<-> ¬p ^ ¬(¬p ^ q)
<-> ¬p ^ (p v ¬q)
<-> (¬p ^ q) v (¬p ^ ¬q)
<-> F v (¬p ^ ¬q)

D.- (¬p -> (q -> r)) <-> (q -> (p v r))

<-> ¬p -> (¬q v r)
<-> ¬(¬p) v (¬q v r)
<-> p v ¬q v r
<-> ¬q v (p v r)
<-> q -> (p v r)
Ejercicio 3.-
 ● p ∨ q = ¬p⇒ q = ¬(¬p ∧ ¬q) = (¬p) | (¬q)
● p ⇒ q = ¬p v q = ¬(p ∧ ¬q) = p | (¬q)

Ejercicio 4.-

1) (∀x)(∃y)(x + y ≤ xy)
Para todo valor de x hay un valor de y, la suma de estos es menor o igual a la de su producto.
x=1
(1+y≤1(y))= 1+y≤y
Por lo tanto esta función es falsa.

2) (∀x)(∃y)(x < y^2 < (x + 1)^2)

Para todo valor de x hay un valor de y, x es menor que el cuadrado de de y, y al cuadrado es menor
que la sumatoria de x+1 al cuadrado.
x=1
(1<y^2<(2)^2)=1>y^2>4
y=2
1<(2)^2<(2)^2)=1>4>4
Por lo tanto esta función es falsa.

Ejercicio 5.-

p q r -p -q -r pv-q -pvq qvr qv-r -qv-r

V V V F F f V V V V F

V V F F F V V V V V V

V F V F V F V F V F V

V F f f v V v f F v V