Programa de Acceso Inclusivo, Equidad y Permanencia

PAIEP
Universidad de Santiago de Chile

Desarrollo de guı́a de apoyo

Lógica

1. Una proposición atómica consiste en una proposición libre de conectivos lógicos y negaciones. Traduzca
en lenguaje simbólico utilizando proposiciones atómicas y conectivos lógicos, las siguientes afirmaciones:

a) Nicanor Parra es escritor y matemático.

Sean las proposiciones p: “Nicanor Parra es escritor”, q: “(Nicanor Parra) es matemático”. Dado
que el conector utilizado es “y”, asociado al conectivo lógico ∧, la afirmación traducida a lenguaje
simbólico resulta ser:
p∧q

b) Reviso mi correo electrónico desde el computador o desde el celular.

Consideremos las proposiciones p: “Reviso mi correo electrónico desde el computador”, q: “(Reviso
mi correo electrónico) desde el celular”. Como ambas proposiciones se encuentran asociadas a una
disyunción (o), el conectivo lógico que se utiliza es ∨, por lo tanto la afirmación traducida a lenguaje
simbólico es:
p∨q

c) Si quiebro un vidrio o un vaso, entonces debo pagar.

Sean las proposiciones p: “Yo quiebro un vidrio”, q: “(Yo quiebro) un vaso ”, relacionadas mediante
el conector “o” asociado a la disyunción ∨, y además asignando estas al conectivo dominante ⇒
(condicional), a la proposición r: “yo debo pagar”. Se obtiene de esta manera la siguiente afirmación
traducida en lenguaje simbólico:
(p ∨ q) ⇒ r

wordcreado por el área de Matemática PAIEP

Material 1
d) Veré una obra de Shakespeare si llego a tiempo al teatro
Esta afirmación puede leerse como “Si llego a tiempo al teatro, entonces veré una obra de Shake-
speare”, teniendo entonces las proposiciones p: “(yo) llego a tiempo al teatro”, y q:“Yo veré una
obra de Shakespeare”, relacionadas mediante el conectivo condicional, puesto que q esta sujeto a la
condición p. De esta forma, la afirmación completa puede leerse en un lenguaje simbólico de esta
manera:
p⇒q

e) Ángela es hermana de Carlos si y sólo si es prima de José y Marcelo.

En este caso, tenemos las proposiciones p: “Ángela es hermana de Carlos”, q: “(Ángela) es prima de
José” y r: “(Ángela) es prima de Marcelo. q y r se encuentran relacionadas por el conector “y”, por
lo tanto responde a una conjunción ∧, conformando ası́ la afirmación q ∧r, y p se encuentra asociada
a esta última afirmación mediante el conectivo bicondicional ⇔. Resultando ası́ la afirmación
siguiente:
p ⇔ (q ∧ r)

f) Cambio las ruedas del automóvil, pero no me voy al trabajo en bus.

Con base en la comprensión lectora, la afirmación puede leerse como “Si cambio las ruedas del
automóvil, entonces no me voy al trabajo en bus”, por lo que las proposiciones atómicas que se
tienen son p: “(yo) cambio las ruedas del automóvil”, y q: “me voy al trabajo en bus”. Ambas
afirmaciones se encuentran relacionadas por el conectivo lógico condicional, es decir ⇒, y además,
q se encuentra negada. Por lo que en lenguaje simbólico la afirmación dada queda:

p ⇒∼ q

g) Si puedes aprender inglés y francés, entonces puedes estudiar en Canadá o vivir en Francia.
Consideremos las proposiciones atómicas p: “puedes aprender inglés”, q: “puedes aprender francés”
relacionadas mediante el conectivo lógico ∧ asociada al conector “y”, resultando ası́ en primera
instancia (p ∧ q). Todo esto conformará la primera parte de la afirmación traducida en lenguaje
simbólico.
Por otra parte, se tienen las otras dos proposiciones r: “puedes estudiar en Canadá” y s: “puedes
vivir en Francia”. Estas proposiciones se encuentran asociadas mediante el conector “o” asociado
al conectivo lógico ∨, resultando ası́ la segunda parte de la afirmación: (r ∨ s).
La primera y la segunda parte de la afirmación se encuentran vinculadas mediante el conectivo
lógico condicional, es decir, ⇒. Por lo tanto, la afirmación en su totalidad queda expresada de la
siguiente manera:
(p ∧ q) ⇒ (r ∨ s)

wordcreado por el área de Matemática PAIEP

Material 2
h) Si Rodrigo no asistió al colegio, entonces está enfermo o se quedó dormido.
Sean las proposiciones p: “‘Rodrigo asistió al colegio”, q: “(Rodrigo) está enfermo” y r: “(Rodrigo)
se quedó dormido”, tenemos que p se encuentra negada en la afirmación original. Además, existe
un conectivo lógico que domina toda la afirmación, el cual es el condicional ⇒, mientras que el
conector “o” asociado a la disyunción ∨, vincula las proposiciones q y r, resultando la afirmación:

∼ p ⇒ (q ∨ r)

i) Si Alicia practica deportes y tiene una dieta equilibrada, entonces, si duerme ocho horas diarias,
será una persona saludable.
Para este caso, consideraremos las proposiciones p: “Alicia practica deportes”, q: “(Alicia) tiene
una dieta equilibrada”. Ambas proposiciones se vincultan mediante el conectivo lógico conjunción,
es decir, ∧. Resultando ası́ la primera parte de la afirmación : (p ∧ q).
Luego, consideraremos las proposiciones r: “(Alicia) duerme ocho horas diarias”, s: (Alicia) será
una persona saludable. Tenemos que r y s se encuentran relacionadas mediante el conectivo lógico
condicional ⇒. Por lo tanto, la segunda parte de la afirmación expresada en lenguaje simbólico
resulta ser (r ⇒ s).
Como la primera y la segunda parte de la afirmación se encuentran vinculadas mediante el conectivo
lógico condicional, la afirmación completa queda expresada como:

(p ∧ q) ⇒ (r ⇒ s)

j) Si Pérez cambió la contraseña de los equipos, entonces habrá que llamarle; y si viene a la oficina,
entonces el jefe estará tranquilo.
Se tienen las proposiciones p: “Pérez cambió la contraseña de los equipos”, q: “Habrá que llamarle”.
Ambas proposiciones relacionadas mediante el conectivo lógico condicional, resultando ası́ p ⇒ q.
Por otra parte, tenemos las proposiciones r:“(Pérez) viene a la oficina”, s: “el jefe estará tranquilo”
también vinculadas por el conectivo lógico condicional, conformando ası́ r ⇒ s. Ambas partes de la
afirmación se encuentran vinculadas mediante el conectivo lógico de conjunción, resultando de esta
manera:
(p ⇒ q) ∧ (r ⇒ s)

wordcreado por el área de Matemática PAIEP

Material 3
2. Represente con p la proposición “Todos los múltiplos de 3 son impares” y con q la proposición
“Todos los múltiplos de 7 son pares”. Traduzca cada proposición a lenguaje coloquial usual.

a) ∼ p
Es falso que todos los múltiplos de 3 son impares.
b) ∼ q
Es falso que todos los múltiplos de 7 son pares.
c) p ∧ q
Todos los múltiplos de 3 son impares y todos los múltiplos de 7 son pares.
d) p ∨ q
Todos los múltiplos de 3 son impares o todos los múltiplos de 7 son pares.
e) ∼ q ∨ p.
Es falso que todos los múltiplos de 7 son pares o todos los múltiplos de 3 son impares.
f) ∼ p ∧ q
No es cierto que todos los múltiplos de 3 son impares, y todos los múltiplos de 7 son pares.
g) ∼ q ⇐ p
Esta afirmación puede expresarse tambiı́en como p ⇒∼ q, de forma que puede leerse coloquialmente
como “Si todos los múltiplos de 3 son impares, entonces no todos los múltiplos de 7 son pares”.
h) ∼ (q ⇔ p)
Es falso que, todos los múltiplos de 7 son pares si y sólo si todos los múltiplos de 3 son impares.
i) ∼ (∼ p) ⇒ (p∨ ∼ q)
Para expresar en lenguaje coloquial esta afirmación, hace falta notar que ∼ (∼ p) = p, por lo tanto,
la expresión puede quedar expresada como p ⇒ (p∨ ∼ q), lo que se puede leer como “Si todos los
múltiplos de 3 son impares, entonces o todos los múltiplos de 3 son impares o no todos los múltiplos
de 7 son pares” .
j) (p ⇒ q) ∧ (p∨ ∼ q)
Si todos los múltiplos de 3 son impares, entonces todos los múltiplos de 7 son pares; y, todos los
multiplos de 3 son impares o no todos los múltiplos de 7 son pares.

wordcreado por el área de Matemática PAIEP

Material 4