LÓGICA MATEMÁTICA
Anexo 1
Paso-4- Métodos para probar la validez de argumentos.
Tarea 3: Problemas de aplicación II
Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinámica de la Universidad de su rol como estudiante y demostrar la validez del argumento dado a través de:
- Uso de las tablas de verdad.
- Uso de las reglas de inferencia.
- Uso del simulador Truth Table.
a. [(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ 𝑠) ∧ (𝑝 ∨ 𝑟)] ⟶ (𝑞 ∨ 𝑠)
b. {[𝑝 ⟶ (𝑞 ∨ 𝑟)] ∧ (𝑞 ⟶~𝑝) ∧ (𝑠 ⟶~𝑟) ∧ 𝑝} ⟶~𝑠
c. [(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶~𝑠) ∧ (𝑝 ∧ 𝑠)] ⟶ (𝑠 ∧ 𝑞)
d. {[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
e. [[(𝑝 → 𝑞) ∧ (𝑟 → 𝑠)] ∧ [(𝑞 ∧ 𝑠) → 𝑡] ∧ (𝑝 ∧ 𝑟)] → 𝑡
b. {[𝑝 ⟶ (𝑞 ∨ 𝑟)] ∧ (𝑞 ⟶~𝑝) ∧ (𝑠 ⟶~𝑟) ∧ 𝑝} ⟶~𝑠
c. [(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶~𝑠) ∧ (𝑝 ∧ 𝑠)] ⟶ (𝑠 ∧ 𝑞)
d. {[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
e. [[(𝑝 → 𝑞) ∧ (𝑟 → 𝑠)] ∧ [(𝑞 ∧ 𝑠) → 𝑡] ∧ (𝑝 ∧ 𝑟)] → 𝑡
0 Comentarios
Si necesitas la solución de algún Trabajo o Ejercicios enviala al correo saemaster10@gmail.com con la fecha que la necesitas y te responderemos el costo de la realización