Expresión simbólica : [(p∧q)∧(p→r)]⟶(r∧q)Premisas :P1 : p∧qP2 : p→rConclusión : r∧qDefinir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que?

Respuesta.

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

p : ir en motocicletaq : aumentar la velocidadr : llego temprano a la UniversidadLenguaje natural de la exposición formalp ∧ 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.