Question

Expresión simbólica: [(p→q)⋀(p∨q)⋀(¬q)]→(q) Premisas: P1: p→q P2: p∨q P3: ¬q Conclusión: q

Answer 1

Respuesta.

Para resolver este problema en primer lugar se deben definir las preposiciones simples, las cuales son:

p: ir en motocicleta

q: aumentar la velocidad

r: llego temprano a la Universidad

Lenguaje natural de la exposición formal

p ∧ q : Si voy en motocicleta y aumento la velocidad  

p ∧ q Si voy en motocicleta entonces llego temprano a la Universidad

Luego se procede a generar la tabla de la verdad, la cual es:

p ∧ q ∧ p ∧ q

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

El argumento es contingencia.

Answer 2

Respuesta:

el de arriba tiene la respuesta correcta :D

Explicación paso a paso: