Buenas días me podrían ayudar sobre operadores lógicos con proposiciones simples y compuestas:
Solo si voy al cine con Valeria y la función es divertida, llegaré tarde a casa. Para tener problemas con mamá basta llegar tarde a casa. Llegaré tarde a casa si voy al cine con Valeria.
Ese problema quiero transformarlo de lenguaje formal al lenguaje simbolico, soy nueva estudiante en la universidad y no entiendo bien esos problemas.
la proposicion me quedo asi quiero saber si esta bien.
\( ((p\wedge q)\rightarrow{r})\wedge(r\rightarrow{s})\wedge(p\rightarrow{r}) \)
Hola. Si editas y no pones una respuesta nueva, puede ocurrir que nadie vea tu aclaración (en este caso he pasado otra vez y la he visto).
De momento, sin mirar más, creo que no está bien, porque la flecha que pones para la primera proposición no es una doble implicación.
Paso a letras lo que he puesto.
P = Voy al cine con Valeria
Q = La función es divertida
r = Llego tarde a casa
m = Tengo problemas con mamá
Primera \( (p\wedge q)\Leftrightarrow r
\)
Segunda \( r\Rightarrow m
\)
Tercera \( p\Rightarrow r
\)
Pero si consideramos que la primera es verdadera, entonces
Tercera \( \neg(p\Rightarrow r)
\).
Yo no te puedo decir más; no sé si es eso lo que necesitas.
Saludos.