MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

Tarea 1: Aplicación de las reglas de inferencia.

 Modus Tolendo Ponens, Doble Negación y Adjunción

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:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

a. En la escena de un robo, la policía se encuentra haciendo un interrogatorio

a todos los testigos del hecho: “El reloj marcaba las 8:00 de la noche,
entonces Carlos salió de su trabajo a las 7:00 pm y vio salir a Jaime de la
empresa. Si la información de Jaime es veraz, entonces Carlos no vio salir a
Jaime de la Empresa. La información de Jaime es veraz o estaba en la
empresa en el momento del robo del dinero. El reloj marcaba las 8:00 de
la noche. Por lo tanto, Jaime estaba en la empresa en el momento del robo
del dinero”.

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

Conclusiones

Referencias