Académique Documents
Professionnel Documents
Culture Documents
Paso 4
Métodos para probar la validez de argumentos
Tutor Curso
Marco Antonio Sánchez
Octubre
2019
Tarea 2: Problemas de Aplicación I
Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a través
de:
Solución:
[(𝑝 ⟶ 𝑞) ∧ (𝑞 ⟶ 𝑟 ∧ ∼ 𝑠 )] ⟶ (𝑝 ⟶ 𝑟 ˅ 𝑠)
P Q R S ∼𝐬 (𝒑 ⟶ 𝒒) (𝒒 ⟶ 𝒓 ∧ ∼ 𝒔 ) (𝒑 ⟶ 𝒓 ˅ 𝒔 )
V V V V F V F V
V V V F V V V V
V V F V F V F V
V V F F V V F V
V F V V F F V V
V F V F V F V V
V F F V F F V V
V F F F V F V V
F V V V F V F V
F V V F V V V V
F V F V F V F V
F V F F V V F V
F F V V F V V V
F F V F V V V V
F F F V F V V V
F F F F V V V V
Tarea 3: Problemas de aplicación II
(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea
escogido por otro integrante)
a. [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑝 ⟶ 𝑟) ∧ (𝑟 ⟶ 𝑠)] ⟶ (∼ 𝑞 ⟶ 𝑠)
Solución:
los estudiantes de la Unad, matriculados en el segundo periodo del año 2016, se encuentran
en el momento final definitivo del periodo académico, “los estudiantes aprueban el semestre,
entonces celebran el triunfo y si no aprueban el semestre entonces realizarán la recuperación, y si
realizan recuperación entonces aprenden la lección, por lo tanto, no celebran el triunfo entonces
aprenden la lección.
P aprueban el semestre
Q celebran el triunfo
R realizarán la recuperación
S aprenden la lección
P Q R S ∼𝒑 ∼𝒒 (𝒑 ⟶ 𝒒) (∼ 𝒑 ⟶ 𝒓) (𝒓 ⟶ 𝒔) [(𝒑 ⟶ 𝒒) ∧ (∼ 𝒑 ⟶ 𝒓) ∧ (𝒓 ⟶ 𝒔)]
V V V V F F V V V V
V V V F F F V V F V
V V F V F F V V V V
V V F F F F V V V V
V F V V F V F V V V
V F V F F V F V F V
V F F V F V F V V V
V F F F F V F V V V
F V V V V F V V V V
F V V F V F V V F V
F V F V V F V F V V
F V F F V F V F V V
F F V V V V V V V V
F F V F V V V V F V
F F F V V V V F V V
F F F F V V V F V V
Reglas de inferencia:
1 p⟶ 𝑞
2∼𝑝⟶𝑟
3𝑟⟶𝑠
Conclusión: (∼ 𝑞 ⟶ 𝑠)
4 ∼ 𝑞 ⟶∼ 𝑝
5∼𝑞⟶ 𝑟
6∼𝑞 ⟶ 𝑠
Referencias Bibliográficas
http://datateca.unad.edu.co/contenidos/200611/ANO_2016/16-
01/DOCUMENTOS_BIBLIOGRAFICOS_DE_APOYO/INFERENCIA_LOGICA/Inferencia_L
ogica.pdf
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
file:///C:/Users/ADMIN/Downloads/deduccion_proposicional%20(1).pdf
https://www.youtube.com/watch?v=TsiQAnxR5_Q