LÓGICA MATEMÁTICA

 

LÓGICA MATEMÁTICA

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) {[(𝑝 ∨∼ 𝑟) →∼ 𝑞] ∧ (𝑝 ∧ 𝑞) ∧ (∼ 𝑟 ∨ 𝑠)} → (𝑟 ∧ 𝑠)