Está en la página 1de 4

UNIDAD 2: PASO 4 - MÉTODOS PARA PROBAR

LA VALIDEZ DE ARGUMENTOS

PRESENTADO POR:
ANGELA SOBRINO MOLINA CÓD: 1.032.452.535

CURSO:
90004_446

PRESENTADO A:
JOSE RAFAEL BOCACHICA GONZALEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD


LOGÍCA MATEMÁTICA
ABRIL DE 2018
d) Gracias a la clasificación al Mundial por parte de la selección Colombia, muchos colombianos se encuentran analizando un
argumento como el siguiente: “Si el mundial es en Rusia, entonces (los partidos no se verán en la noche o los partidos no se verán
en la madrugada). El mundial es en Rusia o El mundial no es en Europa. Si el mundial no es en Europa, entonces los partidos se
verán en la madrugada. Los partidos se verán en la noche y los partidos se verán en la madrugada. Por lo tanto, los partidos se
verán en la madrugada”.

(recuerde que las proposiciones simples, siempre son afirmativas, bórreles el “no”)

p: El mundial es en Rusia

q: Los partidos no se verán en la noche

r: Los partidos no se verán en la madrugada

s. El mundial no es en Europa

{[𝑝 → (𝑞 𝑣 𝑟)] ⩘ (𝑝 𝑣 𝑠) ⩘ (𝑠 →∼ 𝑟) ⩘ (∼ 𝑞 ˄ ∼ 𝑟)} →∼ 𝑟

{[𝑝 → (∼ 𝑞 𝑣 ∼ 𝑟)] ⩘ (𝑝 𝑣 ∼ 𝑠) ⩘ (∼ 𝑠 → 𝑟) ⩘ (𝑞 ˄ 𝑟)} → 𝑟 (Esta es la proposición totalmente corregida, úsela para


elaborar la tabla de verdad, generar la tabla en el simulador y aplicar las leyes de inferencia)

Tabla de verdad:

s → ∼r
1 2 ↗3 4
p q r s ∼r ∼q (q v r) p → (q v r) (p v s) (s → ∼r) (∼q ˄ ∼r) (1˄2) (1 ˄ 2 ˄ 3) (1 ˄ 2 ˄ 3 ˄ 4) (1 ˄ 2 ˄ 3 ˄ 4)→ ∼r
v v v v F F v v v F F v F F v

v v v F F F v v v v F v v F v

v v F v v F v v v v F v v F v

v v F F v F v v v v F v v F v

v F v v F v v v v F F v F F v

v F v F F v v v v v F v v F v

v F F v v v F F v v v F F F v

v F F F v v F F v v v F F F v

F v v v F F v v v F F v F F v

F v v F F F v v F v F F F F v

F v F v v F v v v v F v v F v

F v F F v F v v F v F F F F v

F F v v F v v v v F F v F F v

F F v F F v v v F v F F F F v

F F F v v v F v v v v v v v v

F F F F v v F v F v v F F F v

{[𝑝 → (𝑞 𝑣 𝑟)] ⩘ (𝑝 𝑣 𝑠) ⩘ (𝑠 →∼ 𝑟) ⩘ (∼ 𝑞 ˄ ∼ 𝑟)} →∼ 𝑟

1 2 3 4