Question

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a través de:
 Uso de las reglas de inferencia.

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


demostrar la validez del argumento dado a través de:
Uso de las reglas de inferencia.

b. {(¬r→¬p)∧[(p→q)→r]∧[(p∧q)∧r]∧s}→p

Answer 1

En la lógica, la regla de transformación o regla de inferencia representa una forma lógica que consiste en una función que toma premisas, analiza las sintaxis de las mismas y por ultimo devuelve una conclusión o conclusiones.

 

Por lo general, estas reglas conservan la verdad, como propiedad semántica. La acción de una regla de inferencia es sintáctica, y por ello no es necesario preservar las propiedades semánticas, ya que cualquier función de conjunto de formulas para formulas cuentan como una regla de inferencia.