Universidad de la Frontera

Facultad de Ingenierı́a, Ciencias y Administración. TEMUCO, Marzo 26 de 2013

Departamento de Matemática y Estadı́stica

Resolución Guı́a de Trabajo. Lógica.

Fundamentos de Matemáticas.
Profesores: P. Valenzuela - A. Sepúlveda - A. Parra - L. Sandoval - J. Molina - E. Milman -
M. Choquehuanca - H. Soto - E. Henrı́quez.
Ayudante: Pablo Atuán.

1. Simbolizar, sustituyendo las proposiciones básicas por letras mayúsculas.

(a) Si x 6= y, entonces x 6= 1 y x 6= z (f) x + y = 2 ó x + y = 0

(b) Si x = y, entonces x = 2 (g) Si x 6= y e y 6= z, entonces x > z
(c) Si x + y = 3, entonces y + 3 = 3 (h) Si x 6= 2, entonces y > 1
(d) x + y = 2 y z = 1 (i) Si x 6= 0 ó x 6= 3, entonces x = 1
(e) Si x − y = 2, entonces y − x 6= 2 (j) Si x + y > z y z = 1, entonces x + y > 1

Solución:

(a) Sea P la proposición x 6= y, sea Q la proposición x 6= 1 y sea R la proposición x 6= z. Entonces la

proposición general serı́a P −→ (Q ∧ R).
(b) Sea P la proposición x = y y sea Q la proposición x = 2. Entonces la proposición general serı́a
P −→ Q.
(c) Sea P la proposición x + y = 3 y sea Q la proposición y + 3 = 3. Entonces la proposición general
serı́a P −→ Q.
(d) Sea P la proposición x + y = 2 y sea Q la proposición z = 1. Entonces la proposición general serı́a
P ∧ Q.
(e) Sea R la proposición x − y = 2 y sea S la proposición y − x 6= 2. Entonces la proposición general
serı́a R −→ S.
(f ) Sea A la proposición x + y = 2 y sea B la proposición x + y = 0. Entonces la proposición general
serı́a A ∨ B.
(g) Sea H la proposición x 6= y, sea J la proposición y 6= z y sea K la proposición x > z. Entonces la
proposición general serı́a (H ∧ J) −→ K.
(h) Sea X la proposición x 6= 2 y sea Y la proposición y > 1. Entonces la proposición general serı́a
X −→ Y .
(i) Sea P la proposición x 6= 0, sea Q la proposición x 6= 3 y sea R la proposición x = 1. Entonces la
proposición general serı́a (P ∨ Q) −→ R.
(j) Sea D la proposición x + y > z, sea S la proposición z = 1 y sea M la proposición x + y > 1.
Entonces la proposición general serı́a (D ∧ S) −→ M .

1
 2. Formar dos proposiciones compuestas con las frases que se entregan a continuación. Expresarlas sim-
bolizadas.

(a) ”ven pronto” (c) ”olvidate”

(b) ”No quiero estar contigo” (d) ”Tengo planes para mañana”

Solución: Dos proposiciones compuestas pueden ser: ”Si no tengo planes para mañana entonces quiero
estar contigo” y ”Tengo planes para mañana y no quiero estar contigo”.

3. Señalar los términos de enlace y luego simbolizar cada una de las proposiciones siguientes.

(a) No es la hora y la clase de matemática no termina.

(b) Si no estamos en primera fila, entonces no se entiende la clase.
(c) Si dos números no son iguales, entonces uno es mayor que el otro.
(d) x < 5 siempre que x sea negativo.

Solución:

(a) Sea P la proposición ”es la hora” y Q la proposición ”la clase de matemática termina”. Entonces según
el enunciado los Enlaces serı́an ”No”, ”Y” y nuevamente ”No”. Por lo tanto llevándolo a un lenguaje
simbólico la proposición general serı́a ¬P ∧ ¬Q.

(b) Sea M la proposición ”estamos en primera fila” y sea L la proposición ”se entiende la clase”. En-
tonces según el enunciado los enlaces serı́an ”Si...,Entonces...”, ”No” y nuevamente ”No”. Por lo tanto
llevándolo a un lenguaje simbólico la proposición general serı́a ¬M −→ ¬L.

(c) Sea A la proposición ”dos números son iguales” y sea B la proposición ”uno es mayor que el otro”.
Entonces según el enunciado los enlaces serı́an ”Si..., Entonces...”, ”No”. Por lo tanto llevándolo a un
lenguaje simbólico la proposición general serı́a ¬A −→ B.

(d) Sea P la proposición x < 5 y sea Q la proposición x es negativo. Entonces según el enunciado, los enlaces
serı́an ”siempre que”. El enlace ”siempre que” se puede considerar un equivalente a ”Si..., Entonces...”.
Por lo tanto llevándolo a un lenguaje simbólico la proposición general serı́a P −→ Q.

2
 4. Simbolizar cada una de las siguientes proposiciones.

(a) Tienes éxito solo si aprecias la opinión de los demás.

(b) Si x = 1 ó y = 2, entonces z = 3.
(c) Todo trabajo es noble.
(d) No es cierto que 1 = 0.
(e) O es y = 0 y x 6= 0 ó z = 2.
(f) Si x 6= 2 entonces y > 1.
(g) Si x 6= 2 ó x 6= 3 entonces x = 1.
(h) Si x 6= y y y 6= z entonces x 6= z.
(i) Si x + y > z y z = 1 entonces x + y > 1.
(j) Si yo y Juan sabemos lógica, entonces o tenemos un 7 en la prueba o la prueba está súper difı́cil.
(k) Si x es menor que dos, entonces x es igual a uno o x es igual a cero.
(l) Si a la ves x es menor que tres y x es mayor que uno entonces x es igual a dos.
(m) y = 4 y si x < y entonces x < 5.
(n) O x es mayor que cinco y x es menor que siete o no es igual a seis.
(o) Si x + 3 > 5 y y − 4 > x entonces y > 6.

Solución:

(a) Sea P la proposición ”Tendrás éxito” y sea Q la proposición ”Apreciar la opinión de los demás”. Dado
que el conectivo lógico ”Solo sı́” es equivalente a ”Si..., Entonces...” se sigue que la proposición serı́a ”Si
aprecias la opinión de los demás, entonces tendrás éxito”. Por lo tanto la solución serı́a Q −→ P .

(b) Asignándole a P , Q y S las proposiciones x = 1, y = 2 y z = 3 respectivamente, la proposición general

serı́a (P ∨ Q) −→ S.

(c) Sea P la proposición ”Todo trabajo es noble”. Entonces la proposición general serı́a P .

(d) Sea M la proposición ”Es cierto que 1 = 0. Entonces como la proposición general está negada, ésta serı́a
¬M .

(e) Sea A, B y C las proposiciones y = 0, x 6= 0 y z = 2 respectivamente. Entonces la proposición general

serı́a (A ∧ B) ∨ C.

(f ) Sea H la proposición x 6= 2 y sea K la proposición y > 1. Entonces la proposición general está dada por
H −→ K.

(g) Sea Z la proposición x 6= 2, sea Y la proposición x 6= 3 y sea W la proposición x = 1. Entonces la

proposición general serı́a (Z ∨ Y ) −→ W .

(h) Sea U la proposición x 6= y, sea V la proposición y 6= z y sea W la proposición x 6= z. Entonces la

proposición general serı́a (U ∧ V ) −→ W .

(i) Sea P la proposición x + y > z, sea Q la proposición z = 1 y sea R la proposición x + y > 1. Entonces
la proposición general serı́a (P ∧ Q) −→ R.

3
 (j) Sea P la proposición ”Yo y Juan sabemos Lógica” , sea Q la proposición ”tenemos un 7” y sea S la
proposición ”la prueba está súper difı́cil”. Entonces la proposición general serı́a P −→ (Q ∨ S).

(k) Sea A, B y C las proposiciones x < 2, x = 1 y x = 0 respectivamente. Entonces la proposición general

serı́a A −→ (B ∨ C).

(l) Sea P , Q y R las proposiciones x < 3, x > 1 y x = 2 respectivamente. Entonces la proposición general
serı́a (P ∧ Q) −→ R.

(m) Sea A, B y C las proposiciones y = 4, x < y y x < 5 respectivamente. Entonces la proposición general
serı́a A ∧ (B −→ C).

(n) Sea W , Y y Z las proposiciones x > 5, x < 7 y x 6= 6 respectivamente. Entonces la proposición general
serı́a (W ∧ Y ) ∨ Z.

(o) Sea P , Q y R las proposiciones x + 3 > 5, y − 4 > x y y > 6 respectivamente. Entonces la proposición
general serı́a (P ∧ Q) −→ R.

5. Escribir en lenguaje formal la negación de las siguientes proposiciones:

(a) x es un número entero mayor que 3 o menor que 2.

(b) La figura representa o bien un triángulo o bien un cuadrado, pero no un rectángulo o un rombo.
(c) No se aceptan cambios ni devoluciones.
(d) Hay números pares divisibles por 3.
(e) Toda ecuación de segundo grado tiene dos soluciones reales distintas o bien dos soluciones complejas
conjugadas.

Solución:

(a) Sean las proposiciones p: x es un número mayor que 3, q: x es un número menor que 2 y r: x es
un número entero, entonces la proposición compuesta queda escrita como (p ∧ r) ∨ (q ∧ r). Luego,
su negación es ¬r ∨ (¬ ∧ ¬q).
(b) Sean las proposiciones p1 : La figura representa un triángulo, p2 : La figura representa un cuadrado,
p3 : La figura representa un rectángulo y p4 : La figura representa un rombo. Entonces la proposición
compuesta que escrita como (p1 Yp2 )∧¬(p3 ∨p4 ). Luego, su negación es (¬p1 ∧¬p2 )∨(p1 ∧p2 )∨p3 ∨p4 .
(c) Sean las proposiciones r: Se aceptan cambios y s: Se aceptan devoluciones, entonces la proposición
compuesta queda escrita como r Z s. Luego, su negación es ¬r ∧ ¬s.
(d) Sean las proposiciones p: Hay números pares y q: Hay números divisibles por 3, entonces la
proposición compuesta queda escrita como ¬(p ∧ q). Luego, su negación es ¬p ∨ ¬q.
(e) Sean las proposiciones p: Toda ecuación de 2do grado tiene dos soluciones reales distintas, q: Toda
ecuación de 2do grado tiene dos soluciones complejas conjugadas, entonces la proposición compuesta
queda escrita como ¬(p Y q). Luego, su negación es (p ∧ q) ∨ (¬p ∧ ¬q).

4
6. Añadir paréntesis necesario, para que la proposición dada corresponda al tipo de proposición señalada:
Solución:

(a) Negación: ¬(P → R) (k) Negación: ¬(P → ¬Q)

(b) Conjunción: (P ∨ Q) ∧ R (l) Disjunción: (P → Q) ∨ R
(c) Condicional: (¬P ) → R (m) Disjunción: (¬Q) ∨ (¬R)
(d) Negación: ¬(P ∧ Q) (n) Condicional: (¬P ) → (¬R)
(e) Conjunción: (¬P ) ∧ (¬R) (o) Negación: ¬(T ∨ S)
(f) Conjunción: (¬P ) ∧ Q (p) Disjunción: P ∨ (Q ∧ R)
(g) Negación: ¬(R ∧ T ) (q) Conjunción: (¬S) ∧ (¬Q)
(h) Condicional: (P ∧ Q) → R (r) Negación: ¬(P → Q)
(i) Condicional: (¬P ) → (¬Q) (s) Negación: ¬(R → S)
(j) Negación: ¬(P ∨ ¬R) (t) Conjunción: P ∧ (Q → R)

7. Relacionar cada término de la izquierda con sólo uno de la derecha.

Solución:

(a) Disjunción ,→ ¬P ∨ ¬Q.

(b) Proposición Básica ,→ Cualquier proposición sin término de enlace.
(c) Proposición Condicional ,→ P −→ Q.
(d) Proposición Compuesta ,→ Cualquier proposición con un término de enlace.
(e) Antecedente ,→ P en P −→ Q.
(f) Consecuente ,→ Q en la proposición P −→ Q.
(g) Conjunción ,→ P ∧ Q.
(h) Negación ¬(P ∧ Q)

8. Sean p ”tengo un loro” y q ”tengo un gato”, simplificar y luego escribir en lenguaje corriente

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

Solución: Desarrollando y aplicando propiedades se tiene que:

¬ (¬p ∨ ¬ (¬q)) ∧ ¬ (¬p) = ¬ (¬p ∨ q) ∧ p

= (p ∧ ¬q) ∧ p
= p ∧ ¬q

Lo cuál en el lenguaje común es ”Tengo un loro y no tengo un gato”.

5
 9. Escribir la recı́proca, la contrarrecı́proca y la inversa de cada una de las siguientes imlicaciones:

(a) Si 4 es par entonces 1 > 0

(b) 2 + 3 = 5 si 1 + 1 < 3
(c) Si 4 es impar entonces 1 > 0
(d) Si 1 + 1 < 3 entonces 2 = 4

Solución: Haremos un listado de cada una de ellas, como sigue:

• Recı́proca.
(a) Si 1 > 0 entonces 4 es par.
(b) Si 1 + 1 < 3 entonces 2 + 3 = 5.
(c) Si 1 > 0 entonces 4 es impar.
(d) Si 2 = 4 entonces 1 + 1 < 3.
• Contrarrecı́proca.
(a) Si 1 ≤ 0 entonces 4 es impar.
(b) Si 1 + 1 ≥ 3 entonces 2 + 3 6= 5.
(c) Si 1 ≤ 0 entonces 4 es par.
(d) Si 2 6= 4 entonces 1 + 1 ≥ 3.
• Inversa.
(a) Si 4 es impar entonces 1 ≤ 0.
(b) Si 2 + 3 6= 5 entonces 1 + 1 ≥ 3.
(c) Si 4 es par entonces 1 ≤ 0.
(d) Si 1 + 1 ≥ 3 entonces 2 6= 4.

10. Determinar los valores de verdad de las siguientes proposiciones compuestas.

(a) Si 2 + 2 = 4 entonces 2 + 4 = 8.
(b) Si 2 + 2 = 5 entonces 2 + 4 = 8.
(c) Si 2 + 2 = 4 entonces 2 + 4 = 6.
(d) Si 2 + 2 = 5 entonces 2 + 4 = 6.

Solución:

a) Falso.

b) Verdadero.

c) Verdadero.

d) Verdadero.

6
11. Suponiendo que p −→ q es falso, indica los valores de verdad para

(a) p ∧ q (b) p ∨ q (c) q −→ p

Solución: Dado que p −→ q es falso (por enunciado). Existen dos maneras para determinar el valor
de verdad de p y q. El primero serı́a por tabla de la verdad del conectivo lógico entonces (−→), el cual
nos demuestra que con un V erdadero −→ F also se obtiene como valor de verdad F also por tanto p ≡ V
y q ≡ F . O bien se puede desarrollar (p −→ q) ≡ F siguiendo el mismo razonamiento. Luego:

a) p ∧ q. Falso

b) p ∨ q. Verdadero

c) q ⇒ p. Verdadero

12. Sabiendo que la proposición compuesta (¬q) ∨ (q −→ p) es falsa, indique cual es el valor de verdad de las
proposiciones p y q.
Solución: Desarrollando tenemos que (¬q) ∨ (q ⇒ p) ≡ (¬q) ∨ (¬q ∨ p) ≡ ¬q ∨ p ≡ F .
Por lo tanto ¬q ≡ Falso y p ≡ Falso. ası́ obtenemos que q ≡ Verdadero y p ≡ Falso.

13. Indicar para qué valores de verdad de p y q resulta verdadera la proposición compuesta

(p −→ q) ∧ (¬q −→ p)

.
Solución: Desarrollando la proposición compuesta tenemos que:

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

Por lo tanto para que la proposición compuesta original resulte verdadera, solo depende del valor de verdad
de q. por ello p puede tomar cualquier valor de verdad (sea verdadero o falso) y q solamente puede ser
Verdadero.

7
14. Demostrar los siguientes enunciados. (No olvide RAA).

(a) Demuestre ¬T

(1) T −→ P ∧ S
(2) Q −→ ¬P
(3) R −→ ¬S
(4) R∨Q

Solución:

(1) T −→ P ∧ S Premisa
(2) Q −→ ¬P Premisa
(3) R −→ ¬S Premisa
(4) R ∨ Q Premisa
(5) ¬R −→ Q T.L 23 (4)
(6) ¬R −→ ¬P ∧ S Silogismo Hipotético (2,5)
(7) P −→ R Contra Recı́proco de (6)
(8) P −→ ¬S Silogismo Hipotético (3,7)
(9) S Simplificación (1)
(10) ¬P Modus Tolens (8,9)
(11) T −→ P Simplificación (1)
(12) ¬T Modus Tolens (8,9)

8
(b) Demuestre T

(1) P ∨ ¬R
(2) ¬R −→ S
(3) P −→ T
(4) ¬S

Solución:

(1) P ∨ ¬R Premisa
(2) ¬R −→ S Premisa
(3) P −→ T Premisa
(4) ¬S Premisa
(5) ¬S −→ R C.R (2)
(6) R Modus Ponens (4,5)
(7) R −→ P T.L 23 (6)
(8) P Modus Ponens (6,7)
(9) T Modus Ponens (3,8)

(c) Demuestre D

(1) ¬A −→ B
(2) C −→ B
(3) C ∨ ¬A
(4) ¬B ∨ D

Solución:

(1) ¬A −→ B Premisa
(2) C −→ B Premisa
(3) C ∨ ¬A Premisa
(4) ¬B ∨ D Premisa
(5) B −→ D T.L 23 (4)
(6) ¬C −→ ¬A T.L 23 (3)
(7) ¬C −→ B Silogismo Hipotético (1,6)
(8) B Demostración por casos (2,7)
(9) D Modus Ponens (5,8)

9
(d) Demuestre ¬ (x = 5 ∧ y = 4)

(1) y 6= 3
(2) x + y = 8 −→ y = 3
(3) x + y = 8 ∨ x 6= 5

Solución:

(1) y 6= 3 Premisa
(2) x + y = 8 −→ y = 3 Premisa
(3) x + y = 8 ∨ x 6= 5 Premisa
(4) y 6= 3 −→ x + y 6= 8 Contra Recı́proco de (2)
(5) x + y 6= 8 Modus Ponens (1,4)
(6) x 6= 8 Silogismo disyuntivo (3,5)
(7) x 6= 5 ∨ y 6= 4 Ley de Adición en (6)
(8) ¬ (x = 5 ∧ y = 4) Ley de De Morgan en (7)

(e) Demuestre y = 2 ∨ x > y

(1) ¬(y > 5 ∧ x 6= 6)

(2) x = 6 −→ x > y
(3) y ≤ 5 −→ x > y

Solución:

(1) ¬(y > 5 ∧ x 6= 6) Premisa

(2) x = 6 −→ x > y Premisa
(3) y ≤ 5 −→ x > y Premisa
(4) y ≤5∨x=6 T.L (1)
(5) (x = 6 ∨ y ≤ 5) −→ x > y Demostración por casos (2,3)
(6) x>y Modus Ponens (4,5)
(7) y =2∨x>y Ley de Adición en (6)

10
(f) Demuestre ¬(x = 2 ∨ y < 5)
(1) ¬(y − x = 2 ∨ x + y ≤ 8)
(2) ¬(x > y ∨ y < 5)
(3) x = 2 −→ x + y ≤ 8
Solución:
(1) ¬(y − x = 2 ∨ x + y ≤ 8)
(2) ¬(x > y ∨ y < 5)
(3) x = 2 −→ x + y ≤ 8
(4) x ≤ y ∧ y ≥ 5
(5) y − x 6= 2 ∧ x + y ≤ 8
(6) x 6= 2 ∨ x + y ≤ 8
(7) x + y > 8
(8) y ≥ 5
(9) x + y > 8 −→ x 6= 2
(10) x 6= 2
(11) x 6= 2 ∧ y ≤ 5
(12) ¬(x = 2 ∨ y < 5)
11
Premisa
Premisa
Premisa
Ley de De Morgan en (2)
Ley de De Morgan en (1)
T.L 23 (3)
Simplificación (5)
Simplificación (4)
T.L 23 (6)
Modus Ponens (7,9)
Regla de Conjunción (8,10)
Ley de De Morgan en (11)
(g) Demuestre ¬P

(1) R −→ ¬P
(2) (R ∧ S) ∨ T
(3) T −→ (Q ∨ U )
(4) ¬Q ∧ ¬U

Solución:

(1) R −→ ¬P Premisa
(2) (R ∧ S) ∨ T Premisa
(3) T −→ (Q ∨ U ) Premisa
(4) ¬Q ∧ ¬U Premisa
(5) ¬(Q ∨ U ) Ley de De Morgan en (4)
(6) ¬T Tollendo Tolens (3,5)
(7) ¬T −→ (R ∧ S) (2)
(8) R ∧ S Modus Ponens (6,7)
(9) R Simplificación (8)
(10) ¬P Modus Ponens (1,9)

(h) Demuestre ¬Q ∧ S

(1) S ∧ ¬R
(2) R ∨ ¬T
(3) Q −→ T

Solución:

(1) S ∧ ¬R Premisa
(2) R ∨ ¬T Premisa
(3) Q −→ T Premisa
(4) S Simplificación (1)
(5) ¬T −→ ¬Q Contra Recı́proco de (3)
(6) ¬R −→ ¬T Contra Recı́proco de (2)
(7) ¬R −→ ¬Q Silogismo Hipotético (5,6)
(8) ¬R Simplificación (1)
(9) ¬Q Modus Ponens (7,8)
(10) ¬Q ∧ S Regla de Conjunción (4,9)

12
(i) Demuestre R ∧ Q

(1) P ∨Q
(2) S −→ Q ∧ R
(3) P −→ S
(4) Q −→ S

Solución:

(1) P ∨Q Premisa
(2) S −→ Q ∧ R Premisa
(3) P −→ S Premisa
(4) Q −→ S Premisa
(5) (P ∨ Q) −→ S Demostración por Casos (3,4)
(6) S Modus Ponens (1,5)
(7) Q∧R Modus Ponens (2,6)

(j) Demuestre G ∨ ¬H

(1) E ∨ F −→ ¬H
(2) J −→ E
(3) K −→ F
(4) J ∨K

Solución:

(1) E ∨ F −→ ¬H Premisa
(2) J −→ E Premisa
(3) K −→ F Premisa
(4) J ∨K Premisa
(5) E∨F Silogismo Disyuntivo (2,3,4)
(6) ¬H Modus Ponens (1,5)
(7) G ∨ ¬H Adición (6)

13
(k) Demuestre x = 1

(1) ¬(z < 3 ∨ x > y) ∧ y = 2

(2) x≥y∨x=1
(3) x > z −→ x > y
(4) x ≤ z −→ x < y

Solución:

(1) ¬(z < 3 ∨ x > y) ∧ y = 2 Premisa

(2) x ≥ y ∨ x = 1
(3) x > z −→ x > y
(4) x ≤ z −→ x < y
(5) z ≥ 3 ∧ x ≤ y ∧ y = 2
(6) x < y −→ x = 1
(7) x ≤ z −→ x = 1
(8) x ≤ y
(9) x ≤ y −→ x ≤ z
(10) x ≤ z
(11) x = 1
Premisa
Premisa
Premisa
Ley de De Morgan en (1)
(2)
Silogismo Hipotético (4,6)
Simplificación (5)
Contra Recı́proco de (3)
Modus Ponens (8,9)
Modus Ponens (7,10)

(l) Demuestre ¬P

(1) ¬(P ∧ Q)
(2) P −→ R
(3) Q ∨ ¬R

Solución:

(1) ¬(P ∧ Q) Premisa

(2) P −→ R Premisa
(3) Q ∨ ¬R Premisa
(4) ¬P ∨ ¬Q Ley de De Morgan en (1)
(5) R −→ Q (3)
(6) P −→ Q Silogismo Hipotético (2,5)
(7) ¬P ∨ Q (6)
(8) ¬P ∨ (Q ∧ ¬Q) Distribución (4,7)
(9) ¬P (8)

14
(m) Demuestre S

(1) P −→ Q
(2) Q −→ ¬R
(3) R
(4) P ∨ (T ∧ S)

Solución:

(1) P −→ Q Premisa
(2) Q −→ ¬R Premisa
(3) R Premisa
(4) P ∨ (T ∧ S) Premisa
(5) P −→ ¬R Silogismo Hipotético (1,2)
(6) ¬P Modus Tolens (3,5)
(7) ¬P −→ (T ∧ S) (4)
(8) T ∧S Modus Ponens (6,7)
(9) S Simplificación (8)

(n) Demuestre ¬T

(1) P ∨ Q
(2) T −→ ¬P
(3) ¬(Q ∨ R)

Solución:

(1) P ∨Q Premisa
(2) T −→ ¬P Premisa
(3) ¬(Q ∨ R) Premisa
(4) ¬P −→ Q (1)
(5) T −→ Q Silogismo Hipotético (2,4)
(6) ¬Q ∧ ¬R Ley de De Morgan en (3)
(7) ¬Q Simplificación (6)
(8) ¬T Tollendo Tolens (5,7)

15
(o) Demuestre ¬T

(1) T −→ ¬S
(2) F −→ ¬T
(3) S ∨ F

Solución:

(1) T −→ ¬S Premisa
(2) F −→ ¬T Premisa
(3) S∨F Premisa
(4) ¬S −→ F (3)
(5) T −→ F Silogismo Hipotético (1,4)
(6) T −→ ¬T Silogismo Hipotético (2,5)
(7) ¬T

(p) Demuestre R

(1) ¬(P ∧ Q)
(2) ¬R −→ Q
(3) ¬P −→ R

Solución:

(1) ¬(P ∧ Q) Premisa

(2) ¬R −→ Q Premisa
(3) ¬P −→ R Premisa
(4) ¬P ∨ ¬Q Ley de De Morgan en (1)
(5) Q −→ ¬P (4)
(6) ¬R −→ ¬P Silogismo Hipotético (2,5)
(7) ¬R −→ R Silogismo Hipotético (3,6)
(8) R (7)

16
(q) Demuestre ¬(T ∨ S)

(1) ¬R ∨ ¬B
(2) T ∨ S −→ R
(3) B ∨ ¬S
(4) ¬T

Solución:

(1) ¬R ∨ ¬B Premisa
(2) T ∨ S −→ R Premisa
(3) B ∨ ¬S Premisa
(4) ¬T Premisa
(5) R −→ ¬B (1)
(6) ¬B −→ ¬S (3)
(7) R −→ ¬S Silogismo Hipotético (5,6)
(8) T ∨ S −→ ¬S Silogismo Hipotético (2,7)
(9) ¬S
(10) ¬T ∧ ¬S Regla de Adjunción (4,9)
(11) ¬(T ∨ S) Ley de De Morgan (10)

(r) Demuestre ¬P

(1) P −→ ¬S
(2) S ∨ ¬R
(3) ¬(T ∨ ¬R)

Solución:

(1) P −→ ¬S Premisa
(2) S ∨ ¬R Premisa
(3) ¬(T ∨ ¬R) Premisa
(4) ¬T ∧ R Ley de De Morgan en (3)
(5) R Simplificación (4)
(6) S −→ ¬P Contra Recı́proco de (1)
(7) R −→ S (2)
(8) R −→ ¬P Silogismo Hipotético (6,7)
(9) ¬P Modus Ponens (5,8)

17
(s) Demuestre ¬(A ∧ D)

(1) A −→ B ∨ C
(2) B −→ ¬A
(3) D −→ ¬C

Solución:

(1) A −→ B ∨ C Premisa
(2) B −→ ¬A Premisa
(3) D −→ ¬C Premisa
(4) A ∧ D Premisa Agregada
(5) A Simplificación (4)
(6) ¬B Tollendo Tolens (2,5)
(7) D Simlificación (4)
(8) ¬C Modus Ponens (3,7)
(9) ¬C −→ (A −→ B) (1)
(10) A −→ B Modus Ponens (8,9)
(11) B Modus Ponens (5,10)
(12) B ∧ ¬B Contradicción
(13) ¬(A ∧ D)

(t) Demuestre ¬S ∨ ¬T

(1) ¬P −→ ¬S
(2) ¬P ∨ R
(3) R −→ ¬T

Solución:

(1) ¬P −→ ¬S Premisa
(2) ¬P ∨ R Premisa
(3) R −→ ¬T Premisa
(4) ¬R −→ ¬P T.L 23 (2)
(5) ¬R −→ ¬S Silogismo Hipotético (1,4)
(6) T −→ ¬R Contra Recı́proco de (3)
(7) T −→ ¬S Silogismo Hipotético (5,6)
(8) ¬S ∨ ¬T T.L 23 (7)

18
(u) Demuestre ¬E ∨ M

(1) S ∨ Q
(2) S −→ ¬E
(3) Q −→ M

Solución:

(1) S∨Q Premisa

(2) S −→ ¬E Premisa
(3) Q −→ M Premisa
(4) ¬S −→ Q (1)
(5) E −→ ¬S Contra Recı́proco de (2)
(6) E −→ Q Silogismo Hipotético (4,5)
(7) E −→ M Silogismo Hipotético (3,6)
(8) ¬E ∨ M T.L 23 (7)

(v) Demuestre R

(1) T ∧ R ←→ ¬S
(2) ¬S −→ T
(3) ¬R −→ ¬S

Solución:

(1) T ∧ R ←→ ¬S Premisa
(2) ¬S −→ T Premisa
(3) ¬R −→ ¬S Premisa
(4) ¬R Premisa Agregada
(5) ¬S Modus Ponens (3,4)
(6) T Modus Ponens (2,5)
(7) ¬S −→ T ∧ R (1)
(8) T ∧ R Modus Ponens (5,7)
(9) R Simplificación (8)
(10) ¬R ∧ R Contradicción (4,9)
(11) R

19
(w) Demuestre y > z

(1) x = y −→ x = z
(2) x 6= y −→ x < z
(3) x≥z∨y >z
(4) y 6= z ∧ x 6= z

Solución:

(1) x = y −→ x = z Premisa
(2) x 6= y −→ x < z Premisa
(3) x ≥ z ∨ y > z Premisa
(4) y 6= z ∧ x 6= z Premisa
(5) y 6= z Simplificación (4)
(6) x 6= z Simplificación (4)
(7) x 6= y ∨ x = z T.L 23 (1)
(8) x 6= y Tollendo Ponens (6,7)
(9) x < z Modus Ponens (2,8)
(10) y > z Tollendo Ponens (3,9)

(x) Demuestre P −→ S

(1) P −→ Q
(2) P −→ (Q −→ R)
(3) Q −→ (R −→ S)

Solución:

(1) P −→ Q Premisa
(2) P −→ (Q −→ R) Premisa
(3) Q −→ (R −→ S) Premisa
(4) P Premisa Agregada
(5) Q Modus Ponens (1,4)
(6) R −→ S Modus Ponens (3,5)
(7) Q −→ R Modus Ponens (2,4)
(8) R Modus Ponens (5,7)
(9) S Silogismo Hipotético (1,7,6)

20
(y) Demuestre x < 5

(1) x<y∨x=y
(2) x = y −→ y 6= 5
(3) x < y ∧ y = 5 −→ x < 5
(4) y=5

Solución:

(1) x<y∨x=y Premisa

(2) x = y −→ y 6= 5 Premisa
(3) x < y ∧ y = 5 −→ x < 5 Premisa
(4) y=5 Premisa
(5) x 6= y Tollendo Tolens (2,4)
(6) x<y Tollendo Ponens (1,5)
(7) x<y∧y =5 Regla de Adjunción (4,6)
(8) x<5 Modus Ponens (3,7)

(z) Demuestre x = 5 ∧ x 6= y

(1) x = y −→ x 6= y + 3
(2) x = y + 3 ∨ x + 2 = y
(3) x + y 6= 2 ∧ x = 5

Solución:

(1) x = y −→ x 6= y + 3 Premisa
(2) x=y+3∨x+2=y Premisa
(3) x + y 6= 2 ∧ x = 5 Premisa
(4) x 6= y ∨ x 6= y + 3 T.L 23 (1)
(5) x + 2 6= y Simplificación (3)
(6) x=5 Simplificación (3)
(7) x=y+3 Tollendo Ponens (2,5)
(8) x 6= y Tollendo Tolens (1,7)
(9) x = 5 ∧ x 6= y Regla de Adjunción (6,8)

21
(a’) Demuestre S

(1) ¬T ∨ R
(2) T
(3) ¬S −→ ¬R

Solución:

(1) ¬T ∨ R Premisa
(2) T Premisa
(3) ¬S −→ ¬R Premisa
(4) R Tollendo Ponens (1,2)
(5) S Tollendo Tolens (3,4)

(b’) Demuestre Q ∨ R

(1) S −→ ¬T
(2) T
(3) ¬S −→ (Q ∨ R)

Solución:

(1) S −→ ¬T Premisa
(2) T Premisa
(3) ¬S −→ (Q ∨ R) Premisa
(4) ¬S Tollendo Tolens (1,2)
(5) Q∨R Tollendo Ponens (3,4)

22
(c’) Demuestre ¬P

(1) P −→ Q
(2) R ∨ ¬Q
(3) ¬P ∨ ¬R

Solución:

(1) P −→ Q Premisa
(2) R ∨ ¬Q Premisa
(3) ¬P ∨ ¬R Premisa
(4) Q −→ R (2)
(5) R −→ ¬P (3)
(6) Q −→ ¬P Silogismo Hipotético (4,5)
(7) P −→ ¬P Silogismo Hipotético (1,6)
(8) ¬P Idempotencia (7)

(d’) Demuestre C ∨ ¬A

(1) A −→ B
(2) B −→ (C ∨ D)
(3) ¬D

Solución:

(1) A −→ B Premisa
(2) B −→ (C ∨ D) Premisa
(3) ¬D Premisa
(4) A −→ (C ∨ D) Silogismo Hipotético (1,2)
(5) ¬A ∨ C ∨ D T.L 23 (4)
(6) C ∨ ¬A Tollendo Ponens (3,5)

23
(e’) Demuestre ¬R

(1) S ∨ ¬R
(2) T −→ ¬S
(3) T

Solución:

(1) S ∨ ¬R Premisa
(2) T −→ ¬S Premisa
(3) T Premisa
(4) ¬S Tollendo Ponens (2,3)
(5) ¬R Tollendo Ponens (1,4)

(f’) Demuestre S

(1) T −→ R
(2) ¬R
(3) T ∨ S

Solución:

(1) T −→ R Premisa
(2) ¬R Premisa
(3) T ∨S Premisa
(4) ¬T Tollendo Tolens (1,2)
(5) S Tollendo Ponens (3,4)

24
(g’) Demuestre ¬T

(1) P −→ S
(2) P ∧Q
(3) (S ∧ R) −→ ¬T
(4) Q −→ R

Solución:

(1) P −→ S Premisa
(2) P ∧ Q Premisa
(3) (S ∧ R) −→ ¬T Premisa
(4) Q −→ R Premisa
(5) P Simplificación (2)
(6) S Modus Ponens (1,5)
(7) Q Simplificación (2)
(8) R Modus Ponens (4,7)
(9) S ∧ R Regla de Adjunción (6,8)
(10) ¬T Modus Ponens (9,10)

(h’) Demuestre ¬Q

(1) T ∨ ¬S
(2) S
(3) Q −→ ¬T

Solución:

(1) T ∨ ¬S Premisa
(2) S Premisa
(3) Q −→ ¬T Premisa
(4) T Tollendo Tolens (1,2)
(5) ¬Q Tollendo Ponens (3,4)

25
15. El conectivo proposicional Y se llama disyunción exclusiva. Para dos proposiciones p y q se anota p Y q,
se lee ”p ó q pero no ambos”

(a) Construir la tabla de verdad de p Y q

(b) Probar que p Y q ≡ (p ∨ q) ∧ ¬(p ∧ q)

Solución: Trabajando con tablas de verdad, se tiene que:

p q p Yq
V V F
(a) V F V
F V V
F F F
p q p Yq p ∨q p ∧q (p ∨q) ∧ ¬(p ∧ q)
V V F V V F
(b) V F V V F V
F V V V F V
F F F F F F

Luego, se tiene que: p Y q ≡ (p ∨ q) ∧ ¬(p ∧ q)

16. El conectivo proposicional Z se llama conjunción negativa. Para dos proposiciones p y q se anota p Z q,
se lee ”ni p ni q”

(a) Construir la tabla de verdad p Z q

(b) Probar que:
i. ¬p ≡ p Z p
ii. p ∧ q ≡ (p Z p) Z (q Z q)
iii. p ∨ q ≡ (p Z q) Z (p Z q)

Solución: Trabajando con tablas de verdad se tiene que:

p q p Zq
V V F
(a) V F F
F V F
F F V
p ¬p p Zp
(b) i. V F F
F V V

Luego ¬p ≡ p Z p.

26
 ii. De a) se tiene que ¬p ≡ p Z p, por lo tanto ¬q ≡ q Z q.

p q p ∧q ¬p ¬q ¬p Z ¬q
V V V F F V
V F F F V F
F V F V F F
F F F V V F

Luego p ∧ q ≡ ¬p Z ¬q ≡ (p Z p) Z (q Z q).

iii. De a) se tiene que (p Z q) Z (p Z q) ≡ ¬(p Z q).

p q p ∨q p Zq ¬(p Z q)
V V V F F
V F V F F
F V V F F
F F F V V

Luego p ∨ q ≡ ¬(p Z q) ≡ (p Z q) Z (p Z q).

17. Decidir sobre la válidez de los razonamientos siguientes:

(a) Si el mundial de fútbol es en Brasil, entonces la gente no puede ir. Si el fútbol es un deporte popular,
entonces el mundial de fútbol es en Brasil. El fútbol es popular. Por lo tanto
(b) Si la vida es fácil, entonces no vale la pena vivir. Si no vale la pena vivir, entonces no trabajo. La
vida es fácil. Luego, no trabajo.
(c) Si x es un número par, entonces x + z = 0. Si x + z = 0, entonces z = 0. x es un número par. Por
tanto, z = 0.
(d) Si x es un número par, entonces x + z 6= 0. Si x + z 6= 0, entonces x es mayor que z. x es número
par. Luego, x es mayor que z.

Solución:

(a) Sean las proposiciones p: El mundial de fútbol es en Brasil, q: La gente puede ir y r: EL fútbol es
popular. Tenemos que:
(1) p −→ ¬q
(2) r −→ p
(3) r
(4) r ∧ (r −→ ¬q)
(5) ¬q
Luego, el razonamiento es válido.

27
 (b) Sean las proposiciones p: La vida es fácil, q: Vale la pena vivir y r: trabajo. Tenemos que:
(1) p −→ ¬q
(2) ¬q −→ ¬r
(3) p
(4) p ∧ (p −→ ¬q)
(5) ¬q
(6) ¬r
Luego, el razonamiento es válido.
(c) Sean las proposiciones p: x es par, q: x + z = 0 y z = 0. Tenemos que:
(1) p −→ q
(2) q −→ r
(3) p
(4) p −→ r
(5) r
Luego, el razonamiento es válido.
(d) Sean las proposiciones p: x es par, q: x + z 6= 0 y r: x > z. Tenemos que:
(1) p −→ q
(2) q −→ r
(3) p
(4) p −→ r
(5) r
Luego, el razonamiento es válido.

18. Indicar cuáles de las siguientes proposiciones son equivalentes a la proposición ”Si Heriberto aprueba
Algebra, entonces hizo trampa”. Se considera que ”Heriberto es honrado” equivale a ”Heriberto no es
tramposo”.

(a) Heriberto aprueba Algebra y es tramposo.

(b) Heriberto, una persona honrada, no aprobó Algebra.
(c) Si Heriberto es honrado, entonces no aprobó Algebra.
(d) No es cierto que: Heriberto aprueba o es tramposo.
(e) Si Heriberto es tramposo, entonces aprueba Algebra.

Solución: Sean las proposiciones P : Heriberto aprueba Algebra, Q: Hizo trampa. Luego, ¬Q: No hizo
trampa ≡ Es Honrado. La traducción al lenguaje formal de ”Si Heriberto aprueba Algebra, entonces hizo
trampa” es P → Q. Veamos algunas equivalencias de la proposición compuesta anterior, para comparar
con las alternativas:

P → Q ≡ ¬Q → ¬P
≡ ¬P ∨ Q
≡ Q ∨ ¬P

Desarrollando las alternativas, la única equivalente es la alternativa c).

28
19. Analizar la validez de los siguientes argumentos:

argumento 1:
1 Si Heriberto lee el Mercurio, entonces está bien informado
2 Heriberto está bien informado
Por tanto, Heriberto lee el Mercurio

argumento 2:
1 Si Heriberto queda en la Universidad, va a ganar dinero
2 Heriberto no queda en la Universidad
Por tanto, Heriberto no va a ganar dinero

argumento 3:
1 Si Heriberto entiende lógica, entonces disfruta estos problemas
2 Heriberto no entiende lógica
Por tanto, Heriberto no disfruta estos problemas

Solución:
Si denotamos por:
P : Heriberto lee el Mercurio
Q : Heriberto está bien informado
R : Heriberto queda en la Universidad
S : Heriberto va a ganar dinero
T : Heriberto entiende lógica
U : Heriberto disfruta estos problemas

Tenemos:
Argumento 1:
(P −→ Q) ∧ Q Aplicando Modus Ponens resulta P
De Manera que el argumento es válido.

Argumento 2:
(R −→ S) ∧ ¬R Aplicando T.L 23 resulta (¬R ∨ S) ∧ ¬R
De Manera que el argumento no es válido.

Argumento 3:
(T −→ U ) ∧ ¬T Aplicando T.L 23 resulta (¬T ∨ U ) ∧ ¬T
De Manera que el argumento no es válido.

29
20. Simbolizar las siguientes proposiciones:

(a) Nunca he oı́do esa música.

(b) Jamás he visto al vecino.
(c) Es imposible que el átomo sea molécula.
(d) Es falso que el juez sea fiscal.
(e) Al papá de Nelly le falta carácter.

Solución:

(a) Sea la proposición p: Yo he oı́do esa música. Luego, la traducción al lenguaje formal de ”Nunca he
oı́do esa música” es ¬p.
(b) Sea la proposición q: Yo he visto al vecino. Luego, la traducción al lenguaje formal de ”Jamás he
visto al vecino” es ¬q.
(c) Sea la proposición r: El átomo es una molécula. Luego, la traducción al lenguaje formal de ”Es
imposible que el átomo sea molécula” es ¬r.
(d) Sea la proposición s: El juez es fiscal. Luego, la traducción al lenguaje formal de ”Es falso que el
juez sea fiscal” es ¬s.
(e) Sea la proposición t: El papá de Nelly no le falta carácter. Luego, la traducción al lenguaje formal
de ”Al papá de Nelly le falta carácter” es ¬t.

21. Simbolizar las siguientes proposiciones:

(a) Kant es filósofo, pero Frege es lógico.

(b) No iremos al teatro a menos que venga Raúl.
(c) Einstein no es filósofo, sino fisico.
(d) Euclides no es médico ni fı́sico.
(e) Ni Vilma, ni Silvia, ni Angélica ingresaron a la universidad.
(f) Sin carbono, oxı́geno, nitrógeno e hidrógeno, no hay vida.
(g) César es profesor o es alumno, pero no puede ser ambas cosas a la vez.

Solución: Haremos la traducción al lenguaje simbólico de las proposiciones compuestas anteriores.

(a) Sean las proposiciones p: Kant es filósofo y q: Frege es lógico. Luego, la proposición compuesta es
p ∧ q.
(b) Sean las proposiciones r: Raúl viene y s: Iremos al teatro. Luego, la proposición compuesta es
p ←→ q.
(c) Sean las proposiciones t: Einstein es fı́sico y v: Es fı́sico. Luego, la proposición compuesta es p ∧ ¬q.
(d) Sean las proposiciones p: Euclides es médico y q: Es fı́sico. Luego, la proposición compuesta es
p ∧ ¬q.
(e) Sean las proposiciones A: Vilma ingresa a la universidad, B: Silvia ingresa a la universidad y C:
Angélica ingresa a la universidad. Luego, la proposición compuesta es (¬A ∧ ¬B) ∧ ¬C.

30
 (f) Sean las proposiciones q: Hay vida, p1 : Hay carbono, p2 : Hay oxı́geno, p3 : Hay nitrógeno y p4 : Hay
hidrógeno. Luego, la proposición compuesta es (p1 ∧ p2 ∧ p3 ∧ p4 ) ←→ q.
(g) Sean las proposiciones p: César es profesor y q: Es alumno. Luego, la proposición compuesta es
p Y q.

22. Formalizar (no resolver) las siguientes inferencias:

(a) Los congresistas representan a la Nación, pero no están sujetos a mandato imperativo. Luego, los
congresistas representan a la Nación.
(b) Felipe no será expulsado del club a menos que él cometa actos de traición e inmoralidad. No ha sido
expulsado. En consecuencia, no ha cometido actos de traición e inmoralidad.
(c) Si el niño, el adolescente y el anciano son abandonados, entonces son protegidos por el Estado. Pero
el niño es abandonado, también el anciano. Luego, tanto el niño como el anciano son protegidos por
el Estado.

Solución:

(a) Sean las proposiciones P : Los congresistas representan a la nación, Q: Los congresistas no están
sujetos a mandato imperativo. Luego, la traducción al lenguaje formal es (P ∧ Q) → P .
(b) Sean las proposiciones P : Felipe no será expulsado del club, Q: Felipe comete actos de traición y
R: Felipe comete actos de inmoralidad. Luego, la traducción al lenguaje formal es
[{(Q ∧ R) → ¬P } ∧ P ] → (Q Z R)
(c) Sean las proposiciones A: El niño es abandonado, B: El adolescente es abandonado, C: El an-
ciano es abandonado, D: El niño es protegido por el estado, E: El adolescente es protegido por
el estado y F : El anciano es protegido por el estado. Luego, la traducción al lenguaje formal es
[(A ∧ B ∧ C) → (D ∧ E ∧ F )] ∧ (A ∧ C) → (D ∧ F ).

23. Mediante la tabla de verdad determine si las siguientes fórmulas son tautologı́as:

(a) ¬ [p −→ (¬p ∧ p)]

(b) ¬ (¬p ←→ p) −→ ¬ (¬p ∨ p)
(c) ¬ (p −→ q) ∨ ¬ (¬q −→ ¬p)
(d) ¬ [(p ←→ q) ←→ ¬ (¬q ∧ q)]
(e) [(¬p −→ ¬q) ∧ (¬q −→ ¬r)] −→ (¬p −→ ¬r)
(f) (p −→ q) ←→ (¬q −→ ¬p)

31
Solución: Construı́mos las tablas de verdad pedidas:

p ¬p ¬p ∧ p p −→ (¬p ∧ p) ¬ [p −→ (¬p ∧ p)]

(a) V F F F V
F V F V F
Por lo tanto no es una Tautologı́a.

p ¬p ¬p ←→ p ¬ (¬p ←→ p) ¬p ∨ p ¬ (¬p ∨ p) ¬ (¬p ←→ p) −→ ¬ (¬p ∨ p)

(b) V F F V V F F
F V F V V F F
Por lo tanto no es una Tautologı́a.

p q ¬p ¬q p −→ q ¬ (p −→ q) ¬q −→ ¬p ¬ (¬q −→ ¬p) ¬ (p −→ q) ∨ ¬ (¬q −→ ¬p)

V V F F V F V F F
(c) V F F V F V F V V
F V V F V F V F F
F F V V V F V F F
Por lo tanto no es una Tautologı́a.

p q ¬p ¬q p↔q ¬q ∧ q ¬ (¬q ∧ q) (p ↔ q) ↔ ¬ (¬q ∧ q) ¬ [(p ↔ q) ↔ ¬ (¬q ∧ q)]

V V F F V F V V F
(d) V F F V F F V F V
F V V F F F V F V
F F V V V F V V F
Por lo tanto no es una Tautologı́a.

p q r p q r p→q q→r p→r (p → q) ∧ (q → r) [(p → q) ∧ (q ⇒ r )] ⇒ (p ⇒ r)

V V V F F F V V V V V
V V F F F V V V V V V
V F V F V F V F V F V
(e) V F F F V V V V V V V
F V V V F F F V F F V
F V F V F V F V V F V
F F V V V F V F F F V
F F F V V V V V V V V
Por lo tanto SI es una Tautologı́a.

p q ¬p ¬q p→q ¬q → ¬p (p → q) ↔ (¬q → ¬p)

V V F F V V V
(f) V F F V F F V Por lo tanto SI es una Tautologı́a.
F V V F V V V
F F V V V V V

32
24. Analizar la validez de los siguientes razonamientos:

(a) El triángulo se llama isósceles si tiene dos lados iguales. No se llama isósceles. En consecuencia, no
tiene dos lados iguales.
(b) Si Juan es burgués, es propietario de los medios de producción social y emplea trabajo asalariado.
Es burgués y propietario de los medios de producción social. Luego, Juan emplea trabajo asalariado.
(c) Si eres fiscal, eres abogado. Si eres profesional, eres abogado. Luego, si eres fiscal, eres profesional.
(d) Si hay abundancia de peces, habrá abundante harina de pescado. Si hay abundante harina de
pescado, se incrementa la exportación. La exportación no se incrementa. O hay abundancia de
peces o será preciso recurrir a otras actividades. Luego, será preciso recurrir a otras actividades.

Solución:

(a) Sean las proposiciones p: El triángulo se llama isósceles y q: Tiene dos lados iguales. Tenemos que:
(1) q −→ p
(2) ¬p
(3) q

Como tenemos una contradicción, el razonamiento no es válido.

(b) Sean las proposiciones A: Juán es burgués, B: Es propietario de los medios de producción social y
C: Emplea trabajo asalariado. Tenemos que:
(1) A −→ (B ∧ C)
(2) A ∧ B
(3) A
(4) B
(5) B ∧ C
(6) C

Luego, el razonamiento es válido.

(c) Sean las proposiciones p: Eres fiscal, q: Eres abogado y r: Eres profesional. Tenemos que:
(1)p → q
(2)r → q
Demostrar p → r

p q r p→q r→q (p → q) ∧ (r → q)(1) p→r (1) → (p → r)

V V V V V V V V
V V F V V V F F
V F V F F F V V
V F F F V F F V
F V V V V V V V
F V F V V V V V
F F V V F F V V
F F F V V V V V
Luego, el razonamiento no es válido.

33
 (d) Sean las proposiciones A: Hay abundancia de peces, B: Habrá abundante harina de pescado, C: Se
incrementa la exportación y D: Será preciso recurrir a otras actividades. Tenemos que:
(1) A → B
(2) B → C
(3) ¬C
(4) A Y D
(5) A → C
(6) ¬A
(7) D

Luego, el razonamiento es válido.

25. Determine mediante la tabla de verdad si las siguientes inferencias son válidas o inválidas:

(a) Si se levanta la veda, entonces se podrá pescar anchoveta. No se puede pescar anchoveta. Luego, no
se levantó la veda.
(b) Si no se levanta la veda, entonces no se podrá pescar anchoveta. Se puede pescar anchoveta. En
consecuencia, se ha levantado la veda.
(c) Si hay veda, entonces no se podrá pescar atún. Hay veda. Por tanto, no se puede pescar atún.

Solución:

(a) Sean las proposiciones p: Se levanta la veda y q: Se podrá pescar anchoveta. Tenemos que:
(1)p → q
(2)¬q
Demostrar ¬p

p q p→q ¬q (p → q) ∧ ¬q ¬p { (p → q) ∧ ¬q} → ¬p
V V V F F F V
V F F V F F V
F V V F F V V
F F V V V V V
Luego, la inferencia es válida.
(b) Conservando las proposiciones anteriores tenemos que:
(1)¬p → ¬q
(2)q
Demostrar p

p q ¬p ¬q ¬p → ¬q (¬p → ¬q) ∧ q { (¬p → ¬q) ∧ q} → p

V V F F V V V
V F F V V F V
F V V F F F V
F F V V V F V
Luego, la inferencia es válida.

34
 (c) Agregando la proposición r: Se podrá pescar atún. Tenemos que:
(1)p → ¬r
(2)p
Demostrar ¬r

p r ¬r p → ¬r (p → ¬r) ∧ p { (p → ¬r) ∧ p} → ¬r
V V F F F V
V F V V V V
F V F V F V
F F V V F F
Luego, la inferencia no es válida.

26. Usar el método de la premisa agregada (PA) para probar que ¬q −→ t, a partir de:

(a) s −→ r
(b) s ∨ p
(c) p −→ q
(d) r −→ t

Solución:

(1) s→r Premisa

(2) s∨p Premisa
(3) p→q Premisa
(4) r→t Premisa
(5) ¬q Premisa Agregada
(6) ¬p Tollendo Tolens (3,5)
(7) s Tollendo Ponens (2,6)
(8) r Modus Ponens (1,7)
(9) t Modus Ponens (4,8)

35
27. Usar reducción al Absurdo para probar r a partir de:

(a) ¬(p ∧ q)
(b) ¬r −→ q
(c) ¬p −→ r

Solución:

(1) ¬(p ∧ q) Premisa

(2) ¬r → q Premisa
(3) ¬p → r Premisa
(4) ¬r Premisa Agregada
(5) q Modus Ponens (2, 4)
(6) ¬q ∨ ¬p De Morgan (1)
(7) q → ¬p T.L 23
(8) ¬p Modus ponens (5, 7)
(9) r Modus ponens (3, 8)
(10) r ∧ ¬r Contradicción (4, 9)

28. Indique cuál de las siguientes proposiciones es falsa:

(a) Si 2(3 + 5) = 16 entonces 5(6 + 1) = 35

(b) Si (4 + 5) = 20 entonces (6 + 7) = 12
(c) Si (9 + 5) = 14 entonces (6 + 5) = 11
(d) Si 9(4 + 2) = 54 entonces 9(4 + 1) = 14
(e) Si 3(4 + 5) = 28 entonces 7(6 + 5) = 37

Solución:

(a) V → V ≡ V
(b) F → F ≡ V
(c) V → V ≡ V
(d) V → F ≡ F
(e) F → F ≡ V

Luego, la alternativa falsa es la d).

36
29. Una recı́proca de la proposición ”Carlos llega impuntual, siempre que se levanta tarde” es:

(a) Si Carlos se levanta tarde, entonces llega impuntual.

(b) Si Carlos llega impuntual, entonces se levanta tarde.
(c) Si Carlos no llega impuntual, entonces no se levanta tarde.
(d) Carlos llega impuntual, si no se levanta tarde.
(e) Si Carlos no llega impuntual, entonces se levanta tarde.

Solución: Sean las proposiciones p: Carlos se levanta tarde y q: Carlos llega puntual. Entonces la
traducción al lenguaje formal de ”Carlos llega impuntual, siempre que se levanta tarde” es p → q. Luego,
la recı́proca de p → q es q → p. Es decir, ”Si Carlos llega impuntual, entonces se levanta mas tarde”.

30. La traducción en el lenguaje formal de la proposición ”Si tu eres inteligente y no actuás con prudencia,
eres un ignorante en la materia”, siendo las proposiciones:

• m: Tú eres inteligente.

• n: Tú actúas con prudencia.
• p: Tú eres un ignorante en la materia. Es:

(a) (m ∧ ¬n) −→ p
(b) m ∨ (n ∨ p)
(c) p −→ (m ∧ ¬n)
(d) (m ∧ ¬p) −→ n
(e) m −→ ¬(n ∧ ¬p)

Solución: Traduciendo al lenguaje formal, tenemos (m ∧ ¬p) −→ p.

31. Considere la proposición ”Compro y uso el traje gris, si me pagan”. Empleando tablas de verdad,
identifique:

• Una recı́proca de la proposición dada.

(a) Si compro y uso el traje gris, entonces me pagan.
(b) Si no compro y no uso el traje gris, entonces no me pagan.
(c) Si no compro o no uso el traje gris, entonces me pagan.
(d) Si no me pagan, entonces no compro o no uso el traje gris.
(e) Si me pagan, entonces compro y uso el traje gris.
• Una inversa de la proposición dada.
(a) Si compro y uso el traje gris, entonces me pagan.
(b) Si no compro o no uso el traje gris, entonces no me pagan.
(c) Si no compro o no uso el traje gris, entonces me pagan.
(d) Si no me pagan, entonces no compro o no uso el traje gris.
(e) Si me pagan, entonces compro y uso el traje gris.

37
 • Una contrarrecı́proca de la proposición dada.
(a) Si compro y uso el traje gris, entonces me pagan.
(b) Si no compro o no uso el traje gris, entonces no me pagan.
(c) Si no compro o no uso el traje gris, entonces me pagan.
(d) Si no me pagan, entonces no compro o no uso el traje gris.
(e) Si me pagan, entonces compro y uso el traje gris.

Solución: Sean las proposiciones p: Compro un traje gris, q: Uso el traje gris y r: Me pagan. La
traducción al lenguaje formal de la proposición compuesta ”Compro y uso el traje gris, si me pagan” es
r −→ (p ∧ q). Entonces:

• Recı́proca: (p ∧ q) −→ r: Si compro y uso el traje gris, entonces me pagan.

• Inversa: ¬r −→ (¬p ∨ ¬q): Si no me pagan, entonces no compro o no uso el traje gris.
• Contrarrecı́proca: (¬p ∨ ¬q) −→ ¬r: Si no compro o no uso el traje gris, entonces no me pagan.

32. Hallar una traducción al lenguaje simbólico de ”Temuco mejora su imagen si la Municipalidad realiza
obras o los ciudadanos colaboran en el aseo de las calles”, siendo las proposiciones simples:

• m: La Municialidad realiza obras.

• n: Los ciudadanos colaboran en el aseo de las calles.
• p: Temuco mejora su imagen.

Solución: Traduciendo al lenguaje simbólico, tenemos (m ∨ n) −→ p.

33. Considere las proposiciones simples:

• a: Utilizo mis habilidades matemáticas.

• b: Resuelvo bien los ejercicios.
• c: Hago un buen deber.

Hallar la traducción simbólica de la proposición compuesta ”Es necesario que utilice mis habilidades
matemáticas para que resuelva bien los ejercicios y haga un buen deber”.
Solución: Traduciendo al lenguaje simbólico, tenemos (b ∧ c) −→ a.

34. Si se consideran las siguientes proposiciones simples:

• m: Viajo al exterior.
• n: Apruebo el curso de Fundamentos.
• p: Obtengo una beca.

Hallar una traducción al lenguaje formal de la proposición compuesta ”Viajo al exterior sólo si apruebo
el curso de Fundamentos y obtengo una beca”.
Solución: Traduciendo al lenguaje formal, tenemos m ←→ (n ∧ p).

38
35. Dadas las proposiciones simples:

• p: Necesito un doctor. • r: Tengo un accidente.

• q: Necesito un abogado. • s: Estoy enfermo.

Una traducción al lenguaje formal de la proposición compuesta ”Si estoy enfermo, necesito un doctor; y
si tengo un accidente, necesito un abogado”, es:

• (s −→ p) ∧ (¬r −→ q) • (s ∨ p) ∧ (r −→ q)
• (s −→ p) ∧ (r −→ q)
• (s ∧ p) ∧ (¬r −→ q) • (s −→ p) ∧ (r ∧ q)

Solución: Traduciendo al lenguaje formal, tenemos (s −→ p) ∧ (r −→ q).

36. Dadas las proposiciones simples:

• p: Hoy es domingo.
• q: Tengo que estudiar Fundamentos.
• r: Aprobaré el curso.

Una traducción al lenguaje formal de la proposición compuesta ”Hoy es domingo pero tengo que estudiar
Fundamentos, o no aprobaré el curso”, es:

• (p ∧ q) ∨ r • (p ∧ q) ∨ ¬r
• p∧q∧r
• (p ∨ q) ∨ r • (p ∧ q) −→ r

Solución: Traduciendo al lenguaje formal, tenemos (p ∧ q) ∨ ¬r.

37. Si ¬p ∧ q es verdadero, determinar el valor de verdad de las siguientes:

• p −→ (¬q ∧ r) • ¬(p ∧ q) −→ ¬(p ∨ q)

• ¬p ∧ ¬q
• (p ∧ q) ∨ (¬p −→ q) • (p ∧ ¬q) ∨ ¬(q ∧ ¬p)

Solución: Como ¬p ∧ q ≡ V , se sigue que p ≡ F y q ≡ V . Entonces

• p −→ (¬q ∧ r) ≡ F −→ (F ∧ r) ≡ F −→ F ≡ V .
• ¬p ∧ ¬q ≡ V ∧ F ≡ F .
• (p ∧ q) ∨ (¬p −→ q) ≡ (F ∧ V ) ∨ (V −→ V ) ≡ V .
• ¬(p ∧ q) −→ ¬(p ∨ q) ≡ ¬(F ∧ V ) −→ ¬(F ∨ V ) ≡ F .
• (p ∧ ¬q) ∨ ¬(q ∧ ¬p) ≡ (F ∧ F ) ∨ ¬(V ∧ V ) ≡ F .

39
38. El razonamiento: ”Si te gustan las Matemáticas, entonces eres hábil para la Geometrı́a. Luego, no te
gustan las Matemáticas”, es válido.

• Verdadero • Falso

Solución: Sean p: Te gustan las matemáticas y q: Eres hábil para la Geometrı́a. La traducción al
lenguaje formal de la proposición ”Si te gustan las Matemáticas, entonces eres hábil para la Geometrı́a.
Luego, no te gustan las Matemáticas” es (p −→ q) −→ ¬p. Analizaremos si el razonamiento es válido a
través de la siguiente tabla de verdad:
p q p −→ q ¬p (p −→ q) −→ ¬p
V V V F F
V F F F V
F V V V V
F F V V V

Luego el razonamiento no es válido.

39. El razonamiento ”Si trabajo arduamente gano un buen sueldo, pero no gano un buen sueldo. Por lo
tanto, no trabajo arduamente”, es válido.

• Verdadero • Falso

Solución: Sean p: Trabajo arduamente y q: gano buen sueldo. La traducción al lenguaje formal de la
proposición ”Si trabajo arduamente gano un buen sueldo, pero no gano un buen sueldo. Por lo tanto, no
trabajo arduamente” es [(p −→ q) ∧ ¬q] −→ ¬p. El cuál es un Teorema Lógico (Tollendo Tolens). Luego,
este razonamiento es válido.

40. Dado el razonamiento H1 ∧ H2 −→ C, donde:

• H1 : Si lo intento con ahı́nco y tengo talento, entonces me convierto en músico.

• H2 : Si me convierto en músico, seré feliz.

Una conclusión C que hace válido este razonamiento es:

(a) Voy a ser feliz.

(b) Si me convierto en músico, entonces lo intento con ahı́nco.
(c) No me convierto en músico.
(d) No tengo talento.
(e) Si no voy a ser feliz, entonces no lo intento con ahı́nco o no tengo talento.

Solución: Sean las proposiciones A: Lo intento con ahı́nco, B: Tengo talento, C: Me convierto en
músico y R: Seré feliz. Las hipótesis H1 y H2 traducidas al lenguaje simbólico quedan como H1 :
(A ∧ B) → C, H2 : Q → R. Analizando el razonamiento tenemos que:
(1) (A ∧ B) → Q
(2) Q → R

40
 (3) (A ∧ B) → R
(4) ¬R → ¬A ∨ ¬B
La traducción al lenguaje normal es ”Si no voy a ser feliz, entonces no lo intento con ahı́nco o no tengo
talento. Por lo tanto, nos quedamos con la alternativa E.”

41. Dadas las siguientes proposiciones:

• H1 : Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de Andrés.
• H2 : Si Andrés no dice la verdad, entonces Juan no vio partir el coche de Andrés.
• H3 : Andrés dice la verdad o estaba en el edificio en el momento del crimen.
• H4 : El reloj estaba adelantado.

Se puede inferir que:

(a) Juan no llegó antes de las diez.

(b) Andrés estaba en el edificio en el momento del crimen.
(c) Juan no vio partir el coche de Andrés o éste estaba en el edificio en el momento del crimen.
(d) Andrés dice la verdad.
(e) Marque esta opción si ninguna de las anteriores es una conclusión válida.

Solución: Sean las proposiciones A: El reloj está adelantado, B: Juán llegó antes de las diez, C: Vió
partir el coche de Andrés, D: Andrés dice la verdad y E: Andrés estaba en el edificio en el momento del
crimen. Tenemos que:
(1) A ←→ (B ∧ C)
(2) ¬D −→ ¬C
(3) D∨E
(4) A
(5) B∧C
(6) B
(7) C
(8) D
(9) E

Luego, ”Andrés estaba en el edificio en el momento del crimen”.

42. Demostrar que el siguiente razonamiento es válido: ”Esta ley será aprobada en esta sesión del Congreso
si y solo sı́ es apoyada por la mayorı́a legislativa. Es apoyada por la mayorı́a legislativa o el Presidente
de la República se opone a ella. Si el primer mandatario se opone a ella, entonces esta ley será pospuesta
en las deliberaciones del Congreso Nacional. Por lo tanto, esta ley será aprobada en esta sesión o será
pospuesta en las deliberaciones del Congreso Nacional”.

41
 Solución: Sean las proposiciones A: Esta ley será aprobada en este sesión del congreso, B: Es apoyada
por la mayorı́a legislativa C: El presidente se opone a ella y D: Será pospuesta en las deliberaciones del
congreso nacional. Tenemos que:
(1) A ←→ B
(2) B∨C
(3) (A −→ B) ∧ (B −→ A)
(4) B −→ A
(5) A∨D

Luego, el razonamiento es válido.

43. Un razonamiento que no es válido se denomina Falacia. Verificar que el siguiente razonamiento es una
falacia:

• Si el mayordomo es el asesino, se pondrá nervioso cuando lo interroguen.

• El mayordomo se puso nervioso cuando lo interrogaron.

Por lo tanto, el mayordomo es el asesino.

Solución: Sean las proposiciones A: El mayordomo es el asesino y B: Se pone nervioso cuando lo
interroguen. La traducción al lenguaje formal del razonamiento es:

(1) A −→ B
(2) B
A

Verificamos si el razonamiento anterior es una falacia a través de una tabla de verdad:

A B A −→ B (A −→ B) ∧ B
V V V V
V F F F
F V V V
F F V F

Luego el razonamiento no es válido. Falacia.

44. Verificar que el siguiente razonamiento es válido (Tautologı́a):

• Si el Chavo se casa, entonces Florinda se tira al tren.

• Florinda se tira al tren siempre y cuando el Chavo no se haga cura.

Por lo tanto, si el Chavo se casa, entonces no se hace cura.

42
 Solución: Sean las proposiciones p: El chavo se casa, q: Florinda se tira al tren y r: El chavo no se
hace cura. Para verificar que el razonamiento es válido trabajaremos con el enunciado siguiente:

(1) p −→ q
(2) r ←→ q
(3) q −→ r (2) Bicondicional
(4) p −→ r (1, 3) Transitividad

Por lo tanto, el razonamiento es válido.

45. Para cada una de los siguiente conjuntos de premisas (cada lı́nea), decir cuales son las conclusiones:

(a) Estoy gordo o delgado. Ciertamente no estoy delgado.

(b) Si corro, me quedaré sin aliento. No estoy sin aliento.
(c) Si el mayordomo lo hizo, entonces tiene las manos sucias. Las manos del mayordomo no están sucias.
(d) El cielo celeste me pone contento y el cielo gris me pone triste. El cielo está celeste o gris.
(e) Todas las funciones trigonométricas son periódicas y todas las funciones periódicas son continuas.

Solución: Las conclusiones son las siguientes:

(a) Estoy gordo.

(b) No corro.
(c) El mayordomo no lo hizo.
(d) Estoy contento o estoy triste.
(e) Todas las funciones trigonométricas son continuas.

46. Determinar cuáles de los razonamientos siguientes son válidos. Construir demostraciones para los ra-
zonamientos que lo sean y para los que no lo sean, explicar por qué la conclusión no se sigue de la
hipótesis.

(a) (1)p ∧ q (b) (1)p ∨ q (c) (1)p → q

(2)p → r (2)p → r (2)p → r
∴r∧q ∴r∨q ∴r∧q

43
Solución:

(a)

{(p → r) ∧ (p ∧ q)} → (r ∧ q) ≡ {(¬p ∨ r) ∧ p ∧ q} → (r ∧ q)

≡ {{(p ∧ ¬p) ∨ (p ∧ r)} ∧ q} → (q ∧ r)
≡ {{F ∨ (p ∧ r)} ∧ q} → (q ∧ r)
≡ {p ∧ q ∧ r} → (q ∧ r)
≡ ¬p ∨ ¬q ∨ ¬r ∨ (q ∧ r)
≡ ¬p ∨ ¬q ∨ {(¬r ∨ q) ∧ (¬r ∨ r)}
≡ ¬p ∨ ¬q ∨ ¬r ∨ q
≡ p ∨ ¬r ∨ (q ∨ ¬q)
≡ (p ∨ ¬r) ∨ V
≡ V

Luego el razonamiento es válido.

p q r p ∨q p→r q ∨r (p ∨q) ∧ (p → r) {(p ∨q) ∧ (p → r)} → (q ∨ r)

V V V V V V V V
V V F V F V F V
V F V V V V V V
(b) V F F V F F F V
F V V V V V V V
F V F V V V V V
F F V F V V F V
F F F F V F F V

Luego el razonamiento es válido.

p q r p→q p→r (p → q) ∧ (p → r) r→q {(p → q) ∧ (p → r)} → (r → q)
V V V V V V V V
V V F V F F V V
V F V F V F F V
(c) V F F F F F V V
F V V V V V V V
F V F V V V V V
F F V V V V F F
F F F V V V V V

Luego el razonamiento no es válido.

44
47. Para cada una de las siguientes proposiciones analice el valor de verdad de las mismas y escriba, en forma
simbólica, su negación. Asuma que las variables toman valores en el conjunto de los números reales.

(a) (∃x)(3x − 2 = −4x + 1) (i) (∃x)(x3 + 6x2 + 11x + 6 = (x + 3)(x + 1))

(b) (∀x)(x + x = 0) (j) (∀x)(∃y, x2 + y 2 = (x + y)2 )
(c) (∀x)(3x − 2 6= −4x + 1) (k) (∀x)(∀y, x + y − y|x)
(d) (∃x)(x2 + x + 1 = 0) (l) (∃x)(∀y, x + y = 0)
(e) (∀x)((x − 1)(x + 1) = x2 − 1) (m) (∃x ∈ R)(x2 + x = 2)
 
9 5
(f) (∃x)(x2 + 1 ≥ 0) (n) (∃x ∈ R) <x<
8 4
(g) (∀x)(x2 + 3x + 2 = 0)  
3 8
(h) (∃x)(x = −x) (o) (∀x) x ≤ o x ≥
2 5

Solución: Analizando los valores de verdad y escribiendo la negación de las proposiciones tenemos que:

(a) Verdadero. (∀x)(3x − 2 6= −4x + 1) (j) Verdadero. (∃x)(∀y, x2 + y 2 6= (x + y)2 )

(b) Falso. (∃x)(x + x 6= 0)
(k) Falso. (∃x)(∃y, x + y − y 6 |x)
(c) Falso. (∃x)(3x − 2 = −4x + 1)
(d) Falso. (∀x)(x2 + x + 1 6= 0) (l) Falso. (∀x)(∃y, x + y 6= 0)
(e) Verdadero. (∃x)((x − 1)(x + 1) 6= x2 − 1)
(m) Verdadero. (∀x ∈ R)(x2 + x 6= 2)
(f) Verdadero. (∀x)(x2 + 1 < 0)  
(g) Falso. (∃x)(x2 + 3x + 2 6= 0) 9 5
(n) Verdadero. (∃x ∈ R) <x<
(h) Verdadero. (∀x)(x 6= −x) 8 4
(i) Verdadero. (∀x)(x3 + 6x2 + 11x + 6 6= (x +
 
3 8
3)(x + 1)) (o) Falso. (∃x) x > ∧ x <
2 5

48. Sea A = {1, 2, 3, 4, 5}. Hallar el valor de verdad de cada enunciado, y luego, escribir simbólicamente la
negación de cada uno de ellos:

(a) (∃x ∈ A)(x + 3 = 10) (d) (∀x ∈ A)(x + 3 ≤ 7)

(b) (∀x ∈ A)(x + 3 < 10)
(c) (∃x ∈ A)(x + 3 < 5) (e) (∃!x ∈ A)(x2 − 3x + 2 = 0)

Solución: Analizando los valores de verdad y escribiendo la negación de las proposiciones tenemos que:

(a) Falso. (∀x ∈ A)(x + 3 6= 10)

(b) Verdadero. (∃x ∈ A)(x + 3 ≥ 10)
(c) Verdadero. (∀x ∈ A)(x + 3 ≥ 5)
(d) Falso. (∃x ∈ A)(x + 3 > 7)
(e) Falso. {(∀x ∈ A)(x2 − 3x + 2 6= 0)} ∨ {∃x, y; x2 − 3x + 2 = 0 ∧ y 2 − 3y + 2 = 0 ∧ x 6= y}

45
49. Negar las siguientes afirmaciones:

(a) (∀x)(∃y)(x + y = 5) −→ y = −x
(b) (∀x)(∀y)[x + y es impar → (x es impar ∨ y es impar )]
(c) (∃x)(∀y)(x < y ∧ x2 ≥ y)
(d) (∀x)(∀y)(x < y → x + z = y)

Solución: Negando las proposiciones tenemos que:

(a) (∃x)(∀y)(x + y = 5 ∧ y 6= −x)

(b) (∃x)(∃y)(x + y es impar ∧ x es impar ∧ y es impar )
(c) (∀x)(∃y)(x ≥ y ∨ x2 < y)
(d) (∃x)(∃y)(x < y ∧ x + z 6= y)

50. Sea R el conjunto referencial. Averiguar el valor de verdad de:

(a) (∀x)(x < 0 → x < 3)

(b) (∃x)(x2 ≥ 0 → x4 = x3 )
(c) (∀x)(∃y)(x2 + y 2 = 1)
(d) (∀x)(∀y)(y < x → 2y < 10)

Solución: Analizando los valores de verdad tenemos que:

(a) Verdadero.
(b) Verdadero.
(c) Falso.
(d) Falso.

46