Duda sobre las leyes de inferencia en la lógica matemática

Me preguntaba si alguien tiene conocimientos de lógica matemática que me pueda orientar en la realización de este ejercicio:

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

-Expresión en lenguaje simbólico
-Generar la tabla de verdad
-Aplicar leyes de inferencia