Buenas tardes, quisiera saber si es válido probar el ejercicio 2a parte 3 de este parcial utilizando un tableu semantico, para ver si es tautologia la formula (alpha or not gamma) sustituyendo alpha por su equivalente (beta implica gamma).
Hola Manuel,
sí, es válido, tendrías que argumentar antes de hacer el tableau lo siguiente:
supongo que
es equivalente a 
, quiero evaluar si 
y luego eso lo probás o refutás usando tableau.
Saludos!
sí, es válido, tendrías que argumentar antes de hacer el tableau lo siguiente:
supongo que
es equivalente a , quiero evaluar si y luego eso lo probás o refutás usando tableau.Saludos!