Álgebra Superior I

Nombre del estudiante: EBJ

Fecha de entrega: 11 de julio de 2023

Ejercicio 1

Instrucciones. Use tablas de verdad para verificar las siguientes equivalencias.

a) p ∧ T ≡ p
b) p ∨ C ≡ p
c) p ∧ C ≡ C
d) p ∨ T ≡ T

Solución. Recordemos que una proposición compuesta que siempre es verdadera sin
importar los valores de verdad de sus componentes es llamada una tautologı́a, y es
denotada por T y ası́ como que una proposición compuesta que siempre es falsa es
llamada una contradicción, y es denotada por C.
Ası́ como también recordemos la definición precisa de p ∨ q que está dada por la si-
guiente tabla de verdad.
p q p∨q
V V V
V F V
F V V
F F F
Y que la definición precisa de p ∧ q se encuentra dado por la siguiente tabla de verdad:
p q p∧q
V V V
V F F
F V F
F F F
Por lo que verificamos las siguientes equivalencias:
a) La tabla de verdad nos queda como:
p T p∧T
V V V
V F F
∴ p∧T ≡ p
b) La tabla de verdad nos queda como:

1
Álgebra Superior I 2

p C p∨C
V F V
F F F
∴ p∨C ≡ p
c) La tabla de verdad nos queda como:
p C p∧C
V F F
F F F
∴ p∧C ≡ C
d) La tabla de verdad nos queda como:
p T p∨T
V V V
F V F
∴ p∧T ≡ T

Ejercicio 2

Instrucciones. Use tablas de verdad para verificar las leyes conmutativas.

a) p ∨ q ≡ q ∨ p
b) p ∧ q ≡ q ∧ p

Solución. Las tablas de verdad, nos quedan como sigue:

a) La tabla de verdad nos queda como:
p q p∨q
V V V
V F V
F V V
F F F

q p q∨p
V V V
V F V
F V V
F F F
∴ p∨q ≡ q∨p
b) Tenemos las siguientes tablas de verdad

EBJ
Álgebra Superior I 3

p q p∧q
V V V
V F F
F V F
F F F
q p q∧p
V V V
V F F
F V F
F F F
∴ p∧q ≡ q∧p

Ejercicio 3

Instrucciones. Use tablas de verdad para verificar las leyes asociativas.

a) ( p ∨ q) ∨ r ≡ p ∨ (q ∨ r )
b) ( p ∧ q) ∧ r ≡ p ∧ (q ∧ r )

Solución. Dado que en este caso contamos con 3 proposiciones simples, entonces ten-
dremos una tabla con 23 = 8 filas y 7 columnas
a) La tabla de verdad nos queda como:
p q r ( p ∨ q) (q ∨ r ) ( p ∨ q) ∨ r p ∨ (q ∨ r )
V V V V V V V
V F V V V V V
V V F V V V V
V F F V F V V
F V V V V V V
F F V F V V V
F V F V V V V
F F F F F F F
∴ ( p ∨ q) ∨ r ≡ p ∨ (q ∨ r )
b) Tenemos la siguiente tabla de verdad
p q r ( p ∧ q) (q ∧ r ) ( p ∧ q) ∧ r p ∧ (q ∧ r )
V V V V V V V
V F V F F F F
V V F V F F F
V F F F F F F
F V V F V F F
F F V F F F F
F V F F F F F
F F F F F F F
( p ∧ q) ∧ r ≡ p ∧ (q ∧ r )

EBJ
Álgebra Superior I 4

Ejercicio 4

Instrucciones. Use una tabla de verdad para verificar la ley distributiva.

p ∧ (q ∨ r ) ≡ ( p ∧ q) ∨ ( p ∧ r )

Solución.
p q r (q ∨ r ) p ∧ (q ∨ r ) ( p ∧ q) ( p ∧ r ) ( p ∧ q) ∨ ( p ∧ r )
V V V V V V V V
V F V V V F V V
V V F V V V F V
V F F F F F F F
F V V V F F F F
F F V V F F F F
F V F V F F F F
F F F F F F F F
∴ p ∧ (q ∨ r ) ≡ ( p ∧ q) ∨ ( p ∧ r )

Ejercicio 5

Instrucciones. Use una tabla de verdad para verificar la ley de De Morgan

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

Solución. Construiremos una tabla de verdad con 4 renglones y 7 columnas. Nuestra

tabla de verdad es la siguiente:
p q ( p ∧ q) ¬( p ∧ q) ¬ p ¬q ¬ p ∧ ¬q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
Por lo tanto hemos verificado la ley de De Morgan

Ejercicio 6

Instrucciones. Sean p, q y r proposiciones compuestas tales que p y q son lógicamente

equivalentes, y q y r son lógicamente equivalentes. Demuestre que p y r son lógicamen-
te equivalentes

Solución. Recordemos que dos proposiciones compuestas que tienen los mismos va-
lores de verdad en todos los posibles casos son llamadas lógicamente equivalentes.
Dicho de otra forma: Las proposiciones compuestas p y q son lógicamente equivalen-
tes si la proposición p ⇐⇒ q es una tautologı́a. Escribimos p ≡ q para indicar que p
y q son lógicamente equivalentes. Y dado que q y r son lógicamente equivalentes lo
podemos escribir como q ≡ r, esto en una tabla de verdad se verı́a como:

EBJ
Álgebra Superior I 5

p q r
V V V
F F F
Y como los valores de las propociones compuestas p y r cpinciden para las posibles
combinaciones de los valores de verdad de p y r, se sigue que p ⇐⇒ r es una tautologı́a
y que estas proposiciones son lógicamente equivalentes.

Ejercicio 7

Instrucciones. Usando tablas de verdad, muestre que las siguientes implicaciones son
tautologı́as.
a) ( p ∧ q) ⇒ p
b) p ⇒ ( p ∨ q)
c) ¬ p ⇒ ( p ⇒ q)
d) ( p ∧ q) ⇒ ( p ⇒ q)
e) ¬( p ⇒ q) ⇒ p
f) ¬( p ⇒ q) ⇒ ¬q

Solución. Tengamos en cuenta que una proposición compuesta que siempre es verda-
dera sin importar los valores de verdad de sus componentes es llamada una tautologı́a
Ası́ como también recordemos la definición precisa de p ⇒ q que está dada por la
siguiente tabla de verdad.
p q p⇒q
V V V
V F F
F V V
F F V
Procedemos a resolver los incisos.
a) Tenemos la siguiente tabla de verdad
p q ( p ∧ q) ( p ∧ q) ⇒ p
V V V V
V F F V
F V F V
F F F V
∴ ( p ∧ q) ⇒ p es una tautologı́a
b) Continuamos con la siguiente tabla de verdad

EBJ
Álgebra Superior I 6

p q ( p ∨ q) p ⇒ ( p ∨ q)
V V V V
V F V V
F V V V
F F F V
∴ p ⇒ ( p ∨ q) es una tautologı́a
c) Procedemos con la siguiente tabla de verdad
p q ¬ p ( p ⇒ q) ¬ p ⇒ ( p ⇒ q)
V V F V V
V F F F V
F V V V V
F F V V V
∴ ¬ p ⇒ ( p ⇒ q) es una tautologı́a
d) Continuamos con la siguiente tabla de verdad
p q ( p ∧ q) ( p ⇒ q) ( p ∧ q) ⇒ ( p ⇒ q)
V V V V V
V F F F V
F V F V V
F F F V V
∴ ( p ∧ q) ⇒ ( p ⇒ q) es una tautologı́a
e) Continuamos con la siguiente tabla de verdad
p q ( p ⇒ q) ¬( p ⇒ q) ¬( p ⇒ q) ⇒ p
V V V F V
V F F V V
F V V F V
F F V F V
∴ ¬( p ⇒ q) ⇒ p es una tautologı́a
f) Y finalmente terminamos con la siguiente tabla de verdad
p q ( p ⇒ q) ¬( p ⇒ q) ¬q ¬( p ∧ q) ⇒ ¬q
V V V F F V
V F F V V V
F V V F F V
F F V F V V
∴ ¬( p ⇒ q) ⇒ ¬q es una tautologı́a

EBJ
Álgebra Superior I 7

Ejercicio 8

Instrucciones. Resuelva el ejercicio anterior sin usar tablas de verdad

Solución.
a) ( p ∧ q) ⇒ p:
Por conocimiento previo tenemos que ( p ∧ q) ⇒ p tiene la siguiente equivalencia
lógica:

( p ∧ q) ⇒ p ≡ ( p ⇒ p) ∨ (q ⇒ p)

Ası́ como que:

( p ⇒ p) ≡ ¬ p ∨ p ≡ T
(q ⇒ p) ≡ ¬q ∨ p

Y por leyes conmutativas y asociativas:

( p ∧ q) ⇒ p ≡ T ∨ (¬q ∨ p) ≡ (¬q ∨ p) ∨ T ≡ ¬q ∨ ( p ∨ T )

Y por las leyes de identidad sabemos que ( p ∨ T ) ≡ T, por lo que:

( p ∧ q) ⇒ p ≡ ¬q ∨ ( p ∨ T ) ≡ ¬q ∨ T ≡ T

∴ ( p ∧ q) ⇒ p es una tautologı́a
b) p ⇒ ( p ∨ q)
Por conocimiento previo tenemos que p ⇒ ( p ∨ q) tiene la siguiente equivalencia
lógica:

p ⇒ ( p ∨ q) ≡ ( p ⇒ p) ∨ ( p ⇒ q)

Ası́ como que:

( p ⇒ p) ≡ ¬ p ∨ p ≡ T
( p ⇒ q) ≡ ¬ p ∨ q

Y por leyes conmutativas y asociativas:

p ⇒ ( p ∨ q) ≡ T ∨ (¬ p ∨ q) ≡ (¬ p ∨ q) ∨ T ≡ ¬ p ∨ (q ∨ T )

Y por las leyes de identidad sabemos que (q ∨ T ) ≡ T, por lo que:

EBJ
Álgebra Superior I 8

( p ∧ q) ⇒ p ≡ ¬q ∨ ( p ∨ T ) ≡ ¬q ∨ T ≡ T

∴ p ⇒ ( p ∨ q) es una tautologı́a
c) ¬ p ⇒ ( p ⇒ q)
Por conocimiento previo tenemos que ¬ p ⇒ ( p ⇒ q) tiene la siguiente equiva-
lencia lógica:

¬ p ⇒ ( p ⇒ q) ≡ p ∨ (¬ p ∨ q)

Y por leyes conmutativas y asociativas:

¬ p ⇒ ( p ⇒ q) ≡ p ∨ (¬ p ∨ q) ≡ ( p ∨ ¬ p) ∨ q ≡ q ∨ ( p ∨ ¬ p)

Y por las leyes de negación sabemos que p ∨ ¬ p ≡ T, por lo que:

¬ p ⇒ ( p ⇒ q) ≡ q ∨ ( p ∨ ¬ p) ≡ q ∨ T

Y por las leyes de dominación, se tiene que q ∨ T ≡ T, por lo tanto esto es igual
a:

¬ p ⇒ ( p ⇒ q) ≡ q ∨ T ≡ T

∴ ¬ p ⇒ ( p ⇒ q) es una tautologı́a
d) ( p ∧ q) ⇒ ( p ⇒ q)
Por conocimiento previo tenemos que ( p ∧ q) ⇒ ( p ⇒ q) tiene la siguiente equi-
valencia lógica:

( p ∧ q) ⇒ ( p ⇒ q) ≡ ¬( p ∧ q) ∨ (¬ p ∨ q)

Y por leyes De morgan, conmutativas y asociativas tenemos lo siguiente:

( p ∧ q) ⇒ ( p ⇒ q) ≡ ¬( p ∧ q) ∨ (¬ p ∨ q) ≡ (¬ p ∨ ¬q) ∨ (¬ p ∨ q)

Y por las leyes de negación sabemos que p ∨ ¬ p ≡ T, por lo que:

¬ p ⇒ ( p ⇒ q) ≡ q ∨ ( p ∨ ¬ p) ≡ q ∨ T

Y por las leyes de dominación, se tiene que q ∨ T ≡ T, por lo tanto esto es igual
a:

¬ p ⇒ ( p ⇒ q) ≡ q ∨ T ≡ T

∴ ( p ∧ q) ⇒ ( p ⇒ q) es una tautologı́a

EBJ
Álgebra Superior I 9

e) ¬( p ⇒ q) ⇒ p
Por equivalencia Lógica esto es igual a:

¬( p ⇒ q) ⇒ p ≡ ¬ p ⇒ ( p ⇒ q) ≡ p ∨ ( p ⇒ q) ≡ p ∨ (¬ p ∨ q)

Por leyes asociativas esto es igual a:

p ∨ (¬ p ∨ q) ≡ ( p ∨ ¬ p) ∨ q

Y por leyes de negación esto es equivalente a:

( p ∨ ¬ p) ∨ q ≡ T ∨ q ≡ q ∨ T ≡ T

Por lo que:

¬( p ⇒ q) ⇒ p ≡ T

∴ ¬( p ⇒ q) ⇒ p es una tautologı́a
f) ¬( p ⇒ q) ⇒ ¬q
Por equivalencia Lógica esto es igual a:

¬( p ⇒ q) ⇒ ¬q ≡ ( p ∧ ¬q) ⇒ ¬q ≡ ¬( p ∧ ¬q) ∨ ¬q ≡ (¬ p ∨ q) ∨ ¬q

Por leyes asociativas esto es igual a:

(¬ p ∨ q) ∨ ¬q ≡ ¬ p ∨ (q ∨ ¬q)

Y por leyes de negación esto es equivalente a:

¬ p ∨ (q ∨ ¬q) ≡ ¬ p ∨ T ≡ T

Por lo que:

¬( p ⇒ q) ⇒ ¬q ≡ T

∴ ¬( p ⇒ q) ⇒ ¬q es una tautologı́a

EBJ
Álgebra Superior I 10

Ejercicio 9

Instrucciones. Sean p, q y r proposiciones. Use tablas de verdad para verificar que

( p ⇒ (q ∧ r )) ≡ (( p ⇒ q) ∧ ( p ⇒ r ))

Solución. Tenemos la siguiente tabla de verdad:

p q r (q ∧ r ) p ⇒ (q ∧ r ) ( p ⇒ q) ( p ⇒ r ) ( p ⇒ q) ∧ ( p ⇒ r )
V V V V V V V V
V F V F F F V F
V V F F F V F F
V F F F F F F F
F V V V V V V V
F F V F V V V V
F V F F V V V V
F F F F V V V V
Como los valores de verdad de las proposiciones compuestas p ⇒ (q ∧ r ) y ( p ⇒
q) ∧ ( p ⇒ r ) coinciden para todas las posibles combinaciones de los valores de verdad
de p,q y r, se sigue que p ⇒ (q ∧ r ) ⇐⇒ ( p ⇒ q) ∧ ( p ⇒ r ) es una tautologı́a y
que estas proposiciones son lógicamente equivalentes es decir ( p ⇒ (q ∧ r )) ≡ (( p ⇒
q) ∧ ( p ⇒ r ))

Ejercicio 10

Instrucciones. Dadas las proposiciones p, q, r y s, simplifique la proposición com-

puesta: (((( p ∧ q) ∧ r ) ∨ (( p ∧ r ) ∧ ¬r )) ∨ ¬q) ⇒ s :

Solución. Simplificaremos por partes, empezaremos con la proposición (( p ∧ r ) ∧ ¬r )

Tenemos que por leyes asociativas esto es equivalente a:

(( p ∧ r ) ∧ ¬r ) ≡ ( p ∧ (r ∧ ¬r ))

Y por Leyes de negación esto es equivalente a:

( p ∧ (r ∧ ¬r )) ≡ p ∧ C

Sustitumos esto en la proposición compuesta original y nos queda como:

(((( p ∧ q) ∧ r ) ∨ (( p ∧ r ) ∧ ¬r )) ∨ ¬q) ⇒ s ≡ (((( p ∧ q) ∧ r ) ∨ ( p ∧ C )) ∨ ¬q) ⇒ s

Y por leyes asociativas esto es equivalente a:

(((( p ∧ q) ∧ r ) ∨ ( p ∧ C )) ∨ ¬q) ⇒ s ≡ ((( p ∧ (q ∧ r )) ∨ ( p ∧ C )) ∨ ¬q) ⇒ s

EBJ
Álgebra Superior I 11

Por leyes distributivas esto es equivalente a:

((( p ∧ (q ∧ r )) ∨ ( p ∧ C )) ∨ ¬q) ⇒ s ≡ (( p ∧ ((q ∧ r ) ∨ C )) ∨ ¬q) ⇒ s

Y por leyes de identidad esto es igual a:

(( p ∧ ((q ∧ r ) ∨ C )) ∨ ¬q) ⇒ s ≡ (( p ∧ (q ∧ r )) ∨ ¬q) ⇒ s

Y por equivalencia lógicas esto es equivalente a:

(( p ∧ (q ∧ r )) ∨ ¬q) ⇒ s ≡ ¬(( p ∧ (q ∧ r )) ∨ ¬q) ∨ s

Que esto es equivalente a:

(¬( p ∧ (q ∧ r ) ∧ q) ∨ s ≡ ¬ p ∨ (¬q ∨ ¬r ) ∧ q) ∨ s

Ejercicio 11

Instrucciones. Muestre que las proposiciones ( p ⇒ q) ⇒ r y p ⇒ (q ⇒ r ) no son

lógicamente equivalentes.

Solución. Tenemos la siguiente tabla de verdad:

p q r ( p ⇒ q) ( p ⇒ q) ⇒ r (q ⇒ r ) p ⇒ (q ⇒ r )
V V V V V V V
V F V F V V F
V V F V V F V
V F F F V V F
F V V V V V V
F F V V V V V
F V F V V F V
F F F V V V V
Podemos observar en la tabla de verdad que los valores de verdad de las proposiciones
compuestas ( p ⇒ q) ⇒ r y ( p ⇒ (q ⇒ r ) no coinciden, por lo tanto no cumple con
( p ⇒ q) ⇒ r ←→ ( p ⇒ (q ⇒ r ) es una tautologı́a, por lo tanto ( p ⇒ q) ⇒ r y
p ⇒ (q ⇒ r ) no son lógicamente equivalentes

Ejercicio 12

Instrucciones. Muestre que las proposiciones ( p ∧ q) ⇒ r y ( p ⇒ r ) ∧ (q ⇒ r ) no son

lógicamente equivalentes.

EBJ
Álgebra Superior I 12

Solución. Tenemos la siguiente tabla de verdad:

p q r ( p ∧ q) ( p ∧ q) ⇒ r ( p ⇒ r ) (q ⇒ r ) ( p ⇒ r ) ∧ (q ⇒ r )
V V V V V V V V
V F V F V V V V
V V F V F F F F
V F F F V F V F
F V V F V V V V
F F V F V V V V
F V F F V V F F
F F F F V V V V
Podemos observar en la tabla de verdad que los valores de verdad de las proposiciones
compuestas ( p ∧ q) ⇒ r y ( p ⇒ r ) ∧ (q ⇒ r ) no coinciden, por lo tanto no cumple con
( p ∧ q) ⇒ r ←→ ( p ⇒ r ) ∧ (q ⇒ r ) sea una tautologı́a, ası́ que concluimos que
( p ⇒ q) ⇒ r y p ⇒ (q ⇒ r ) no son lógicamente equivalentes

Ejercicio 13

Instrucciones. El conectivo ↓ se define como sigue: p ↓ q es verdadera cuando ambas

proposiciones p y q son falsas, y p ↓ q es falsa en cualquier otro caso. Construya la
tabla de verdad de p ↓ q para verificar que ( p ↓ q) ≡ ¬( p ∨ q).

Solución.
p q p↓q p∨q ¬( p ∨ q)
V V F V F
V F F V F
F V F V F
F F V F V
Como los valores de verdad de las proposiciones compuestas p ↓ q y ¬( p ∨ q) coinci-
den para todas las posibles combinaciones de los valores de verdad de p y q, se sigue
que p ↓ q ←→ ¬( p ∨ q) es una tautologı́a y que estas proposiciones son lógicamente
equivalentes es decir ( p ↓ q) ≡ ¬( p ∨ q)

Ejercicio 14

Instrucciones. Utilizando únicamente el conectivo ↓ (es decir, no debe aparecer en sus

respuestas ningún otro conectivo: negación, conjunción, disyunción, implicación, do-
ble implicación) determine proposiciones equivalentes a las siguientes: : ¬ p, p ∨ q, p ∧
q, p ⇒ q

Solución.
a) ¬ p ≡ ( p ↓ p) Recordemos que por el inciso anterior tenemos que:

( p ↓ q) ≡ ¬( p ∨ q)

Sı́, por la Leyes idempotentes se sabe que:

EBJ
Álgebra Superior I 13

p∨p ≡ p

Ası́ que:

¬ p ≡ ¬( p ∨ p) ≡ ( p ↓ p)

b) p ∨ q ≡ ( p ↓ q) ↓ ( p ↓ q)
Tenemos que:

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

Y por las leyes idempotentes esto es igual a:

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

Y por las leyes distributivas tenemos que:

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

Por las leyes de morgan esto es igual a:

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

Y recordemos que:

¬( p ∨ q) ≡ ( p ↓ q)

Ası́ que:

¬(¬( p ∨ q) ∨ ¬( p ∨ q)) ≡ ¬(( p ↓ q) ∨ ( p ↓ q)) ≡ ( p ↓ q) ↓ ( p ↓ q)

Por lo tanto:

p ∨ q ≡ ( p ↓ q) ↓ ( p ↓ q)

c) p ∧ q ≡ ( p ↓ p) ↓ (q ↓ q)
Tenemos que:

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

Por los incisos a) y el ejercicio 13, tenemos que esto es igual a:

¬(( p ↓ p) ∨ (q ↓ q)) ≡ ( p ↓ p) ↓ (q ↓ q)

EBJ
Álgebra Superior I 14

Por lo tanto:

p ∧ q ≡ ( p ↓ p) ↓ (q ↓ q)

d) p ⇒ q ≡ (( p ↓ p) ↓ q) ↓ (( p ↓ p) ↓ q)
Tenemos que por una equivalencia lógica:

p ⇒ q ≡ ¬p ∨ q

Y por los incisos a) y b), esto es igual a:

¬ p ∨ q ≡ ( p ↓ p) ∨ q ≡ (( p ↓ p) ↓ q) ↓ (( p ↓ p) ↓ q)

Por lo tanto:

p ⇒ q ≡ (( p ↓ p) ↓ q) ↓ (( p ↓ p) ↓ q)

Ejercicio 15

Instrucciones. Determine, en cada caso, los valores de x que hacen verdadera cada
una de las proposiciones si la colección de los posibles valores de x son los números
enteros del 1 al 10.
a) x2 = 16 ⇒ ( x > 2 ∧ x < 8)
b) x2 = 16 ⇐⇒ ( x > 2 ∧ x < 8)

Solución. Dado que las soluciones de la ecuación x2 = 16 es -4 y 4, y como solo el

número 4 satisface ser mayor a 2 y menor a 8, por lo que concluimos que el único valor
que hace verdadera estas proposiciones es 4.

Ejercicio 16

Instrucciones. Considere el enunciado P( x, y) : x + y = y − x Si la colección de los

posibles valores de x; y son los números enteros, determine el valor de verdad de las
siguientes proposiciones.
a) P(1,1)
b) P(2,0)
c) (∀y) P(1, y)
d) (∃ x ) P( x, 2)
e) (∃ x )(∃y) P( x, y)
f) (∀ x )(∃y) P( x, y)
g) (∃ x )(∀y) P( x, y)

EBJ
Álgebra Superior I 15

h) (∀y)(∃ x ) P( x, y)
i) (∀y)(∀ x ) P( x, y)

Solución.
a) P(1,1): Falso
Dado que P(1, 1) : 1 + 1 = 2 ̸= 0 = 1 − 1
b) P(2,0): Falso
Dado que P(2, 0) : 2 + 0 = 2 ̸= −2 = 0 − 2
c) (∀y) P(1, y): Falso
Dado que existe un valor y tal que no satisface el enunciado como es el P(1,1)
d) (∃ x ) P( x, 2): Verdadero
Dado que existe un entero x tal que satisface el enunciado, el cual se puede en-
contrar despejando la ecuación en nuestro caso:

P( x, y) : x + y = y − x ⇒ 2x = 0 ⇒ x = 0

Por lo tanto P(0,2) satisface el enunciado, ası́ que existe una x tal que P(x,2) se
satisface
e) (∃ x )(∃y) P( x, y): Verdadero
Dado que existe una x para una y tal que satisface el enunciado el cual es el P(0,2)
f) (∀ x )(∃y) P( x, y): Falso
Debido a como mencionamos antes solo una x perteneciente a los enteros en este
caso 0 el cual cumple con el enunciado P(x,y)
g) (∃ x )(∀y) P( x, y): Verdadero
Dado que existe una x=0 que satisface para todo y, porque:

P(0, y) = 0 + y = y − 0 = y

Ası́ que existe una x para toda y tal que P( x, y) : x + y = y − x

h) (∀y)(∃ x ) P( x, y): Verdadero
Dado que para toda y existe una x tal que satisface el enunciado, y esta x es 0.
i) (∀y)(∀ x ) P( x, y): Falso
Dado que para toda y, y para toda x no se satisface el enunciado, porque como
hemos mencionado antes solo se cumple para x=0.

EBJ