LÓGICA –MA 473 UPC 2022-1
Lógica (MA473)
Ciclo 2022-01
Taller N°2
Profesores del Taller: Javier Valeriano, María Calatayud
Coordinador del curso: Aldrín Peña Lizano
I. Determine el valor de Verdad de las siguientes inferencias
a) [(𝑝 → 𝑞) ∧∼ 𝑞] →∼ 𝑝
[(𝑝 → 𝑞) ∧∼ 𝑞] →∼ 𝑝
F F F V
F F F V
V V V
V F
F
En la aplicación notamos que la condicional no puede ser falsa pues llegamos
a una contradicción en sus elementos. Esto indica que la inferencia es válida.
b) ∼ [(𝑝 → 𝑞) ∨ (𝑝 → 𝑟)] → (𝑝 → 𝑟)
∼ [(𝑝 → 𝑞) ∨ (𝑝 → 𝑟)] → (𝑝 → 𝑟)
V F V F V F
F F F
F F
V F
F
En la aplicación notamos que no hay contradicción entre sus elementos. Por lo
tanto, la inferencia es invalida.
LÓGICA –MA 473 UPC 2022-1
c) [~(𝑝 ∧ 𝑞) ∧ 𝑝] → (𝑝 → 𝑞)
[~(𝑝 ∧ 𝑞) ∧ 𝑝] → (𝑝 → 𝑞)
V F V V F
F V F
V V F
V F
F
En la aplicación notamos que no hay contradicción entre sus elementos. Por lo tanto, la
inferencia es invalida.
d) {[∼ 𝑝 ∧∼ 𝑞 →∼ (𝑞 ∧ 𝑟)]} → (𝑝 ∧ 𝑞)
{[∼ 𝑝 ∧∼ 𝑞 →∼ (𝑞 ∧ 𝑟)]} → (𝑝 ∧ 𝑞)
V F F V V F
F V F F
F F F
V F
F
En la aplicación notamos que no hay contradicción entre sus elementos. Por lo tanto, la
inferencia es invalida.
e) {[∼ 𝑝 → (𝑞 ∧∼ 𝑟)] ∧ 𝑟} → (𝑝 ∨∼ 𝑞)
{[∼ 𝑝 → (𝑞 ∧∼ 𝑟)] ∧ 𝑟} → (𝑝 ∨∼ 𝑞)
V V V V F V
F V F V F F
F F V F
V V F
V F
F
En la aplicación notamos que la condicional no puede ser falsa pues llegamos a una
contradicción en sus elementos. Esto indica que la inferencia es válida.
LÓGICA –MA 473 UPC 2022-1
f) {𝑝 ∧ (𝑠𝑞)} → [𝑞 → (𝑟 ∨ 𝑠)]
{𝑝 ∧ (𝑠𝑞)} → [𝑞 → (𝑟 ∨ 𝑠)]
V V V V F F
V V V F
V V F
V F
F
En la aplicación notamos que la condicional no puede ser falsa pues llegamos a una
contradicción en sus elementos. Esto indica que la inferencia es válida.
g) {∼ (𝑞 → 𝑝) ∧ [𝑟𝑠 ∨ 𝑡]} → 𝑞
{∼ (𝑞 → 𝑝) ∧ [𝑟𝑠 ∨ 𝑡]} → 𝑞
V F F
F F
V V F
V F
F
En la aplicación notamos que la condicional no puede ser falsa pues llegamos a una
contradicción en sus elementos. Esto indica que la inferencia es válida.
II. Formalice las siguientes inferencias lógicas y determine su validez respectiva
1. Alex aprueba el curso si estudia. No es el caso que Alex aprueba el curso y sea promovido.
Por lo tanto, Alex no estudia o no es promovido.
p: Alex aprueba el curso
q: Alex estudia
r: Alex es promovido
[(𝑞 → 𝑝) ∧∼ 𝑝 ∧∼ 𝑟)] → (∼ 𝑞 ∨∼ 𝑟)
F F V V
V V V F F
V F
F
Hay contradicción, por lo tanto, la inferencia es válida.
LÓGICA –MA 473 UPC 2022-1
2. El avión no despegará si el cielo está nublado. El avión despegará y los artistas viajarán, si el cielo no
está nublado. Por tanto, los artistas no han viajado ya que el avión no despegó.
p: El avión despegara
q: El cielo esta nublado
r: Los artistas viajaran
[(𝑞 →∼ 𝑝) ∧ (∼ 𝑞 → (𝑝 ∧ 𝑟))] → (∼ 𝑝 →∼ 𝑟)
V F V F V F V
V V F F V F V
V F F F V
V V V F
V F
F
No hay contradicción, por lo tanto la inferencia es inválida.
3. Si las aguas del mar peruano se enfrían excesivamente, entonces no habrá buena actividad
pesquera. No habrá buena actividad pesquera. En consecuencia, las aguas del mar peruano se
enfrían excesivamente.
p: Las aguas del mar peruano se enfrían excesivamente
q: hay buena actividad pesquera
[(𝑝 → 𝑞) ∧∼ 𝑞] → 𝑝
F F F F
V V F
V F
F
No hay contradicción, por lo tanto la inferencia es inválida.
4. Si no se incrementa la cotización del dólar ni devalúa el nuevo sol, entonces no hay
especulación con el tipo de cambio. Hay especulación con el tipo de cambio. En consecuencia,
se incrementa la cotización del dólar y devalúa el nuevo sol.
p: Se incrementa la cotización del dólar.
q: Se devalúa el nuevo sol
r: Hay especulación con el tipo de cambio.
{(~𝑝 ∧ ~𝑞) → 𝑟} → 𝑝 ∧ 𝑞
V F V V F
F V V V F
F V V F
LÓGICA –MA 473 UPC 2022-1
V F
F
No hay contradicción, por tanto la inferencia es inválida
5. Si se incrementa la cotización del dólar y devalúa el nuevo sol, hay especulación con el tipo de
cambio. No hay especulación con el tipo de cambio. Luego, es falso que se haya incrementado
la cotización del dólar y devaluado el nuevo sol.
p: Se incrementa la cotización del dólar.
q: Se devalúa el nuevo sol
r: Hay especulación con el tipo de cambio.
{((𝑝 ∧ 𝑞) → 𝑟) ∧ ~𝑟} → ~(𝑝 ∧ 𝑞)
F F F V
V V V
V F
F
Hay contradicción, por tanto la inferencia es válida
6. Si Marco no toca la guitarra, entonces la tendrá que tocar Luis. Y si Luis toca la guitarra, Rosa
abandonará el grupo. Pero Rosa no abandonó el grupo. Por lo tanto, Marco toca la guitarra.
p: Marco toca la guitarra.
q: Luis toca la guitarra
r: Rosa abandona el grupo.
{(~𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ ~𝑟} → 𝑝
V F F F F F
F F F F F F
V V V F
V F
F
Hay contradicción, por tanto la inferencia es válida
7. Cuando se produce el fenómeno del niño se generan lluvias torrenciales y huaycos. Pero no se
producen lluvias torrenciales o huaycos. Por lo tanto, no se ha producido el fenómeno del niño.
p: Se produce el fenómeno del niño.
q: Se generan lluvias torrenciales.
r: Se generan huaycos.
{(𝑝 → 𝑞 ∧ 𝑟) ∧ (~𝑞 ∨ ~𝑟)} → ~𝑝
V V V F V V
V V V F F
V V F
V F
F
Hay contradicción, por tanto la inferencia es válida
