Demostrar la validez o novalidez del argumento - lógica matemática

Demostrar la validez o no validez del argumento a traves de:

Uso de las tablas de verdad.
 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

Gabriela 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 Gabriela 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”.