en la tarea dos en el punto 6 pide encontrar cuales son equivalentes. No me queda claro cual es equivalente o mejor dicho tengo duda si mi conversion a simbolos es correcta un ejemplo es en el segundo ejercicio. El cual dice:
a) 3 es par pero 7 es impar
Es falso que: 3 par implica que 7 es par
cuando converti a lenguaje de simbolos primero debia encontrar las proposiciones simples que las componen y bueno encontre dos, p que es 3 es par y q que es 7 es impar, entonces pues la primera proposion compuesta me quedo p^q y en la segunda ¬(p->¬q) como en la proposicion simple dice que 7 es par entonces negue que 7 es par ya que dice que es impar, lo que pasa es que cuando hago las tablas de verdad de cada uno quedan igual, entonces alguien me puede decir si hize el procedimiento bien o no?