Ejercicios Resueltos N◦ 1.

1: Lógica
Introducción a la matemática universitaria - 520145

Ejercicios adicionales:

1. Determine el valor de verdad de la proposición compuesta [p ∧ (p −→ q)] −→ q sabiendo que q es

falsa. Sin usar tabla de verdad.

Solución: Primero notemos que:

(p −→ q) ⇐⇒ (∼ p ∨ q)

por ende, la proposición original se puede redefinir de la siguiente manera:

[p ∧ (∼ p ∨ q)] −→ q

luego aplicamos la propiedad distributiva de “∧” con respecto a “∨”, obteniéndose:

[(p ∧ ∼ p) ∨ (p ∧ q)] −→ q

Ahora bien, notemos que la proposición (p ∧ ∼ p) es falsa, porque si p es verdadera, ∼ p es

falsa, y al estar en una conjunción, nos resulta una proposición falsa, análogamente con el caso
contrario. Además, la prosición (p ∧ q) es falsa, pues para que una conjunción sea verdadera,
ambos valores de verdad tienen que ser verdaderos, y como q es falsa, se descarta esa posibilidad.

Con lo anterior, podemos concluir que la proposición [(p ∧ ∼ p) ∨ (p ∧ q)] es falsa, por ende la
proposición compuesta [p ∧ (p −→ q)] −→ q es verdadera.

2. Escribir simbólicamente la siguiente proposición:

“ Si los cerdos vuelvan y me hablan, creerı́an que estoy loco y me meterı́an en el manicomio”.

Solución: Primero volveremos a escribir la frase, pero marcando los conectivos lógicos (para
poder visualizar más facilmente)

Si los cerdos vuelvan y me hablan , creerı́an que estoy loco y me meterı́an en el manicomio.
 Notemos que marcamos la “coma”, pues nos está diciendo que si pasa algo, entonces pasa lo otro.
Ese “entonces” lo conocemos como condicional. Ahora volvemos a escribir la proposición, pero
reemplazamos con sı́mbolos.

(los cerdos vuelan ∧ me hablan) −→ (creerı́an que estoy loco ∧ me meterian al manicomio)

Ahora podemos identificar claramente cada proposición. Sean:

p: los cerdos vuelan

q: los cerdos me hablan
r: los hombres creerı́an que estoy loco
s: los hombres me meterı́an al manicomio

Finalmente la proposición escrita simbólicamente quedaria:

(p ∧ q) −→ (r ∧ s)

3. Negar las siguientes proposiciones:

(a) [(p −→ q) ←→ (∼ p ∨ q)]

Solución: Antes de negar la propoción recordemos lo siguiente:

(p −→ q) ⇐⇒ (∼ p ∨ q); (p ←→ q) ⇐⇒ (p −→ q) ∧ (q −→ p)

Aplicando las propiedades en la proposición original, se obtiene:

∼ [((p −→ q) −→ (∼ p ∨ q)) ∧ ((∼ p ∨ q) −→ (p −→ q))]

además, recordemos que la negación de un condicional “(r −→ s)” es “(r∧ ∼ s)”, aplicando:

[(p −→ q)∧ ∼ (∼ p ∨ q)] ∨ ∼ [(∼ p ∨ q) −→ (p −→ q)]

Además, ∼ (∼ p ∨ q) es equivalente a (p∧ ∼ q), ası́:

[(p −→ q) ∧ (p∧ ∼ q)] ∨ [(∼ p ∨ q)∧ ∼ (p −→ q)]

Volvemos a aplicar la negación del condicional, se obtiene:

[(p −→ q) ∧ (p∧ ∼ q)] ∨ [(∼ p ∨ q) ∧ (p∧ ∼ q)]

Por lo tanto:

∼ [(p −→ q) ←→ (∼ p ∨ q)] ⇐⇒ [(p −→ q) ∧ (p∧ ∼ q)] ∨ [(∼ p ∨ q) ∧ (p∧ ∼ q)]

 (b) (∀ x ∈ {−2, −1, 2, 3})(x2 + x ≥ 0)

Solución: Sabemos que la negación de un “para todo” es un “existe al menos uno”, por
ende:

(∃ x ∈ {−2, −1, 2, 3})(x2 + x < 0)

Observación: Notemos que cuando negamos una expresión que contiene una desigualdad,
esta cambia a su contrario, si es “≥” su negación es “<”, si es “>” su negación será “≤”.

(c) (∃ x ∈ R)(x2 ≤ 4 −→ x ≤ 2)

Solución: Para simplificar la visualización, sustituiremos p : x2 ≤ 4 y q : x ≤ 2, ası́:

(∃ x ∈ R)(p −→ q)

Ahora negamos:
(∀ x ∈ R)(p∧ ∼ q)
Por lo tanto:

∼ (∃ x ∈ R)(x2 ≤ 4 −→ x ≤ 2) ⇐⇒ (∀ x ∈ R)(x2 ≤ 4 ∧ x > 2)

Ejercicios listado 1:

1. Verifique cuales de los siguientes enunciados son proposiciones. En caso de serlo identifique su
valor de verdad.

(b) Deberı́as ir a comprar ahora.

Solución: El enunciado es una indicación (orden) que le hacen a un sujeto, la cual carece
de un valor de verdad, es decir, el enunciado no es una proposición.
(f) Si el 4 es primo, entonces el 8 también es primo.

Solución: El enunciado es una afirmación, es decir, es una proposición, la cual contiene

el conector lógico “entonces” por lo que estamos ante una proposición compuesta, donde
podemos definir las proposiciones simples p y q como sigue:
p : el 4 es primo ; q : el 8 es primo
 De lo anterior, la proposición escrita simbólicamente quedarı́a “p −→ q”.

Sabemos que el 4 no es un número primo, por lo cual el valor de verdad de la proposición p

es falso. También, sabemos que el número 8 no es primo, por lo que el valor de la proposición
q es falso. Por lo tanto, como en la proposición compuesta p −→ q, tanto el antecedente
(p) como el consecuente (q) son falsos, la proposición “si 4 es primo, entonces el 8 también
lo es” es verdadera. Debido a que si mi premisa es falsa, entonces mi conclusión también
puede serlo
(i) (a + b)2 = a2 + b2

Solución: A simple vista por la igualdad del enunciado, podrı́amos inferir que és una
proposición, sin embargo las letras “a” y “b” en el enunciado solo representan una letra,
ya que no se han definido como una variable, es decir, dicho enunciado es como escribir un
nombre, por lo tanto, no es una proposición.

Observación: Sin embargo la afirmación (a + b)2 = a2 + b2 , ∀a, b ∈ R, si es una proposición

debido a que las letras “a” y “b” representan una variable. ¿Cuál será su valor de verdad?.

2. Escriba los siguientes enunciados de manera simbólica identificando las proposiciones con las
letras p, q, r, ... según corresponda.

(a) Hoy voy a clases, o bien voy de compras.

Solución: El enunciado es una proposición compuesta con el conector “o bien” que simbólicamente
se escribe “o inclusivo” . Luego reemplazando el conector de manera simbólica en el enun-
ciado queda:
(Hoy voy a clases) ∨ (voy de compras)
Ası́, definimos las proposiciones simples con las letras “p” y “q” como sigue:
p : “hoy voy a clases” , q : “hoy voy de compras”
Por lo tanto, el enunciado escrito de manera simbólica queda p o inclusivo q.
3. Determine el valor de verdad de las siguientes afirmaciones con la información entregada.

(a) (p ∧ q) −→ q, sabiendo que p −→ q es falsa.

Solución: Del enunciado sabemos que la proposición compuesta p −→ q es falsa, y los

únicos posibles valores que pueden tener “p” y “q” para que la proposición condicional sea
falsa, es que el antecedente p sea verdadero y el consecuente q sea falso.

Ahora que conocemos los valores de p y q, podemos analizar el valor de verdad de la afir-
mación (p ∧ q) −→ q.

Primero veamos la conjunción (p ∧ q) como p es verdadero y q es falsa, la conjunción (p ∧ q)

es falsa. Luego en el condicional (p ∧ q) −→ q, sabemos que el antecedente (p ∧ q) es falso y
el consecuente q es falso. Por lo tanto la afirmación (p ∧ q) −→ q es verdadera.

(d) q, sabiendo que (p ∧ q) −→ ∼ q es falso.

Solución: Sabemos que el condicional (p ∧ q) −→ ∼ q es falso, por lo que el antecedente

(p ∧ q) es verdadero y el consecuente ∼ q es falso. Debido a que ∼ q es falso, el valor de
verdad de q es verdadero.

4. Escriba las siguientes proposiciones lógicas, simbólicamente, determine su valor de verdad y

niéguelas tanto en lenguaje usual como simbólico.

(b) Para todo x real se tiene que, si x es par entonces x + 1 es par.

Solución: La proposición en lenguaje simbólico quedarı́a:

(∀ x ∈ R) : (x es par −→ x + 1 es par)

Determinemos su valor de verdad. Si x es par, lo podemos escribir de la forma x = 2n, con

n ∈ N.

Si sumamos 1 a ambos lados de la igualdad obtenemos x + 1 = 2n + 1, con n ∈ N. Lo cual

representa un número impar, por lo que el consecuente “x + 1 es par” es falso.

Finalmente el condicional x es par −→ x + 1 es par es falso para cualquier valor de x. Por

lo tanto la proposición es falsa.

Negación en lenguaje simbólico: (∃ x ∈ R) : (x es par ∧ x + 1 es impar)

Negación en lenguaje usual: Existe un número real x tal que x es par, y x + 1 es impar.
 (d) Son las 12 horas y suena el campanil.

Solución: Consideremos las siguientes proposiciones:

p : Son las 12 horas, q : suena el campanil
Lenguaje simbólico: p ∧ q.

Valor de verdad: Verdadero.

Negación en lenguaje simbólico: ∼ p ∨ ∼ q.

Negación en lenguaje usual: No son las 12 horas o no suena el campanil.

6. Dado un conjunto A = {−1, 0, 1, 2, 4}. Decida el valor de verdad de las siguientes proposiciones:

(b) (∀ x ∈ A, ∃ y ∈ A) : (x + y ≤ 3)

Solución: El enunciado en lenguaje usual serı́a para todo elemento del conjunto A, existe
un elemento y en A, tal que x + y ≤ 3.

Para ello analizamos el cuantificador universal que se refiere a todos los elementos de A, por
ende, buscaremos si existe un y ∈ A tal que cumpla la desigualdad.
(i) Sea x = −1, se tiene que −1 + y ≤ 3 ⇐⇒ y ≤ 4, luego podemos decir que para x = −1,
existe un número y ∈ A tal que satisface x + y ≤ 4 (por ejemplo y = 4).

(ii) Sea x = 0, se tiene que 0 + y ≤ 4 ⇐⇒ y ≤ 4. La proposición cumple para x = 0.

(iii) Sea x = 1, se tiene que 1 + y ≤ 4 ⇐⇒ y ≤ 3. La proposición se cumple para x = 1.

(iv) Sea x = 2, se tiene que 2 + y ≤ 4 ⇐⇒ y ≤ 2. La proposición se cumple para x = 2.

(v) Sea x = 4, se tiene que 4 + y ≤ 4 ⇐⇒ y ≤ 0. La proposición se cumple para x = 4.

Finalmente, para cualquier valor que pueda tomar x en el conjunto A, va a existir un y en

A tal que satisfaga x + y ≤ 3. Por lo tanto la proposición es verdadera.