Hola buenas, tengo un examen pronto de fundamentos de lógica, y el curso ha sido... nefasto. Y tengo algunas dudas que no encuentro en mis apuntes, a ver si por aquí alguien me puede responder.
Mi primera duda es qué pasa si niegas una tautología ? Te sale una contradiccion o sale una satisfacible?
Y también, si te dan un conjunto de premisas insatisfacibles, su consecuencia lógica es verdadera o falsa?
Muchas gracias si contestáis, que llevar lógica con un profesor semi-ausente es complicado y yo hago lo que puedo.
