POR FAVOR AYUDA CON ESTA PREGUNTA ¿a. Luna se encuentra estudiando el material del curso de física general, especialmente el tema movimiento en una dimensión, entonces se reflexiona un poco para entender el concepto de desplazamiento, por lo que Luna hace el siguiente razonamiento: “Si camino 7 metros hacia adelante, entonces me desplazo. Pero no es cierto que (si camino 7 metros hacia adelante y camino 7 metros en sentido contrario, entonces me desplazo). No camino 7 metros hacia adelante. Por lo tanto, camino 7 metros en sentido contrario”.?
Respuestas
La primera imagen es la comprobación en la TRUTH TABLE; la segunda es la aplicación de las leyes de inferencia; la tercera es la tabla de verdad hecha manualmente.
Ten un buen día.
La expresión quedaría como: [(p->q)^[(p^s)->q]^¬p]->s
Este ejercicio trata de lógica matemática:
Para llevar este enunciado a un enunciado lógico matemático, para luego poder llevarlo a una tabla de la verdad vamos a plantear la siguiente relación:
Planteamos los argumentos básicos:
- p-------> Camino 7 metros hacia adelante.
- q------> me desplazo.
- s-------> Camino 7 metros en sentido contrario.
Ahora plantearemos las proposiciones compuestas:
Si camino 7 metros hacia adelante, entonces me desplazo:
p--->q
Pero no es cierto que (si camino 7 metros hacia adelante y camino 7 metros en sentido contrario, entonces me desplazo).
p ^ s ------->q'
No camino 7 metros hacia adelante. Por lo tanto, camino 7 metros en sentido contrario”.
p'------>q
De tal forma que si junto todas las expresiones tendremos que:
[(p->q)^[(p^s)->q]^¬p]->s
Ahora realizando la truth table tenemos que: