Matemáticas, pregunta formulada por torressagitario2010, hace 1 año

Expresión simbólica: {[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s)
Premisas:
P1: (p→q)∨r
P2: r→∼p
P3: p∧s

Conclusión: q∧s
• Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico, ejemplo:
p: Carlos estudia en la U
q: La U es una Universidad Pública

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Respuestas a la pregunta

Contestado por Osm867
0

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.

Otras preguntas