MatemáticasBásico1 respuestas

Expresión simbólica : [(p∨q)∧(p→r)∧(q→s)⋀(¬r)]→sPremisas :P1 : p∨qP2 : p→rP3 : q→sP4 : ¬r?

Expresión simbólica : [(p∨q)∧(p→r)∧(q→s)⋀(¬r)]→s Premisas : P1 : p∨q P2 : p→r P3 : q→s P4 : ¬r.

En resumen

Respuesta.

Mejor respuesta

Leomate
4

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.