Lógica proposicional

1. Dados los siguientes enunciados, determinar si cada uno de ellos expresa o no

una proposición:

a. Aunque la mona se vista de seda, mona se queda. ()

b. 𝑎2 + 𝑏2 = 𝑐 2 ()
c. Chachapoyas es capital de Amazonas. ()
d. ¿Es posible el crecimiento económico el Perú en medio de una crisis mundial?
()
e. La nueva constitución política del Perú fue sancionada y promulgada por la
Asamblea Constituyente en 1993. ()
f. Mi alma no se contenta con haberla perdido. ()
g. Iré a verte, si dispongo de tiempo. ()
h. El hombre es un animal racional. ()
i. La tierra no es un planeta. ()
j. Por un punto de un plano pasan infinitas rectas. ()
k. Martín Luther King recibió el premio de la paz en 1964. ()
l. La semana tiene "𝑦" días. ()
m. El nombre de la ciencia que estudia la validez formal de los argumentos proviene
del vocablo griego logos, que puede traducirse tanto por palabra como por
pensamiento. ()
n. ¡Por fin llegó la primavera! ()
o. ¿Por qué no fuiste a la fiesta? ()
p. En Chachapoyas nunca llueve. ()

2. En los siguientes enunciados, indicar con una S para las proposiciones

simples y una C para las compuestas. En los casos en los que se trate de una
proposición compuesta, señala cuáles son las proposiciones simples que la
conforman.

a. Fuimos a la biblioteca de la Universidad Nacional Toribio Rodríguez de Mendoza,

pero ni encontramos los libros que necesitábamos ni nos dijeron donde hallarlas.
()
b. Aristóteles nació en Estagira; Platón nació en Atenas. ()
c. Juan y Pedro son concuñados. ()
d. Gloria e Irene son contemporáneas. (S)
e. Si continúa la amenaza de la Covid-19, no iremos de paseo. ()
f. El abuelo y la abuela obsequiaron una muñeca a su nieta. ()
g. Naira no es Chachapoyana ni loretana. ()
h. El 20% de 1200 es 240. ()
i. Federico Villareal fue un gran matemático del siglo pasado. ()
j. Aprobaré matemática básica si y sólo si estudio conscientemente, pero si
consigo trabajo dejaré de estudiar en la Universidad. ()

3. Determine la forma proposicional de cada uno de los siguientes enunciados:

a. No es cierto que si la pregunta es fácil, entonces la respuesta sea evidente.

b. Si no es cierto que en Lima nieve en invierno y que llueva a cántaros, entonces
nuestro clima es templado.
c. Los profesores de la UNTRM tomarán sus vacaciones en el mes de agosto.
d. Si Jorge escuchó la conferencia, entonces o fue al teatro y pasó por la casa de
Wendy, o la escuchó por radio y llamó por teléfono a Wendy.
e. Tendremos muchas flores en el jardín, si la estación es propicia y las semillas no
están malogradas.
f. La deserción estudiantil disminuirá si y sólo si mejora la situación económica y
se moderniza los métodos de enseñanza.
g. No se obtendrán las ganancias proyectadas o no se obtendrá los resultados
esperados, si los trabajadores no están comprometidos con la empresa.
h. No es cierto que, 3 es menor que 2 o 9 es un número primo.
i. Si salimos de parranda, ni conseguiremos movilidad ni nos harán caso nuestros
amigos.
j. Si el barco no trae piratas, entonces el capitán ha muerto o está prisionero. Pero
el capitán no ha muerto ni está prisionero. En consecuencia, el barco trae piratas.
k. Si no estamos en verano, entonces está húmedo y hace frío, si es de tarde o de
noche.
l. O bien el dinero garantiza la tranquilidad y, por ende, mejora la calidad de vida,
o bien contribuye a la ansiedad y, en consecuencia, a empeorar las condiciones
de vida.
m. Si la inversión decrece, disminuirá automáticamente el trabajo y no habrá
bienestar.
n. Ni Luis ni Claudia son deportistas universitarios, pues ambos están concentrados
en pasar sus cursos.
o. Cuando mejoren las condiciones, los empleados dejarán la posición hostil y se
dará paso al diálogo; sin embargo, la huelga no terminará hasta que se firme un
acuerdo, pues los trabajadores desconfían de los actuales dueños de la
empresa.
p. No se justifica un aumento del sueldo mínimo, porque no favorecería a la
mayoría e induciría a una elevación de la informalidad ya que las micro y
pequeñas empresas no podrían pagar mayores sueldos.

4. Determinar los valores de verdad de las siguientes proposiciones:

a. El rombo es un paralelogramo y 5 es un número racional.

b. Ni −3 es un número natural ni 5 es un número par.
c. Si Perú y Argentina no son países europeos, entonces Francia no es un país
americano.

5. Se sabe que p ∧ q y q ⟶ t son falsas. De los esquemas moleculares

siguientes, cuáles son verdaderos:
a. (~p ∨ t) ∨ ∼ q
b. ∼ [p ∧ (∼ q ∨ ∼ p)]
c. [(p ⟶ q) ∧∼ (q ∧ t)] ⟷ [∼ p ∨ (q ∧∼ t)]

6. De la falsedad de (𝑝 ⟶∼ 𝑞) ∨ (∼ 𝑟 ⟶∼ 𝑠), deducir el valor de verdad de los

siguientes esquemas:
a. ∼ (∼ 𝑞 ∨∼ 𝑠) ⟶∼ 𝑝
b. ∼ (∼ 𝑟 ∧ 𝑠) ⟷ (∼ 𝑝 ⟶∼ 𝑞)
c. 𝑝 ⟶∼ [𝑞 ⟶∼ (𝑠 ⟶ 𝑟)]
7. Construir la tabla de verdad de cada una de las formas proposicionales, luego
determinar si es una tautología, contradicción o contingencia

p q r p ↔ (q Λ r) .↔. p ↔ (q →  r)

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

p q r  [q →  p .↔. r Λ  q]

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F
 p q r (p →  q) Λ (q ↔  r) .→. r

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

a. ∼ (𝑝 ⟶ 𝑞) ⟷∼ (∼ 𝑞 ⟶∼ 𝑝)
b. [(𝑝 ∨∼ 𝑞) ∧∼ 𝑝] △∼ (∼ 𝑞 ⟶ 𝑝)
c. [𝑝 ⟶ (𝑞 ⟶ 𝑟)] ⟷ [(𝑝 ∧∼ 𝑟) ⟶∼ 𝑞]
d. [𝑝 ∨ (𝑞 ⟶∼ 𝑟)] ∧ [(∼ 𝑝 ∨ 𝑟) ↔∼ 𝑞]
e. [𝑝 ∧ (∼ 𝑞 ⟶ 𝑝)] ∧∼ [(𝑝 ⟷∼ 𝑞) ⟶ (𝑞 ∨∼ 𝑝)]
f. [(𝑝 → 𝑞) ∧ ∼ 𝑞] → ~ 𝑝
g. ~(𝑝 → 𝑞) ⋀ ∼ (𝑞 → ~𝑟)
h. (~𝑝 → ~𝑞) ↔ [(𝑝 → 𝑞) ⋀ 𝑟]
i. (∼ 𝑝 ⋀ ~𝑞) ↔ (𝑝 ⋁ 𝑞)
j. [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟)
k. [𝑝 ∧ (𝑝 → 𝑞)] → (𝑞 ∆ 𝑟)
l. [~(𝑝 ∧ 𝑞) → 𝑝] ⋁ ∼ 𝑝
m. ∼ (𝑝 → 𝑞) → (𝑝 ⋁ ∼ 𝑞)
n. ∼ (𝑝 → 𝑞) → (~𝑝 → ~𝑞)
o. [𝑝 ⋀ ∼ (𝑞 ⋁ 𝑟)] ↔ [~𝑝 ⋁(𝑟 ⋁ 𝑞)]