+1 voto
por
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?

1 Respuesta

0 votos
por

Si haces 

p: 3 es par

y

q: 7 es par

queda más claro que puedes usar la equivalencia 

¬(p⇒q)≡p∧¬q

por
Si igual lo intente y si da las tablas equivalentes al igual el que me mostro, entonces si hice bien el procedimiento, gracias por la respuesta.
Bienvenido a 2Epsilon, donde puedes hacer preguntas y recibir respuestas de otros miembros de la comunidad. No se vale poner soluciones, solo sugerencias para ayudar a los compañeros.
...