Question

Tarea 3: Leyes de Inferencia
Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de:

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.

En la seguridad vial es importante tener claro que ser precavido ayuda para evitar muchos accidentes. Para implementar una campaña publicitaria, se ha planteado el siguiente argumento: “Si voy en motocicleta y aumento la velocidad, llego temprano a la Universidad. No es cierto que si aumento la velocidad, gasto más combustible. Pasa que gasto más combustible o voy en motocicleta. En conclusión, llego temprano a la Universidad”.

Answer 1

Definición de preposiciones simples:

p: ir en motocicleta
q: aumentar la velocidad
r: llegar temprano a la Universidad
o: gastar mas combustible

Lenguaje natural de la exposición formal
p ∧ q→r : Si voy en motocicleta y aumento la velocidad entonces llego as temprano a la Universidad

¬(q→o): No es cierto que si aumento la velocidad gasto mas combustible

Generar Tabla de la Verdad.

{[(p ∧ q→r] ∧ [ ¬(q→o)]}

Definir si el argumento es: Tautología, Contingencia o contradicción
El argumento es contingencia

03d3195597af91221fb05c20f1e35115.xlsx