Mi duda es como pongo esos resultados conocidos en el yoda, y si es estrictamente necesario usarlos.
¿Seria correcto poner en el yoda NOT p -> q, NOT a OR NOT b -> q como premisas?
Hola, mi duda es referente a la parte C del ejercicio 3 del primer parcial del 2013 donde pide probar un par de derivaciones a partir de unos resultados conocidos.
Mi duda es como pongo esos resultados conocidos en el yoda, y si es estrictamente necesario usarlos.
¿Seria correcto poner en el yoda NOT p -> q, NOT a OR NOT b -> q como premisas?
Mi duda es como pongo esos resultados conocidos en el yoda, y si es estrictamente necesario usarlos.
¿Seria correcto poner en el yoda NOT p -> q, NOT a OR NOT b -> q como premisas?