Hola.
Si tengo que probar o refutar una afirmación que tiene el siguiente formato:
(Para todos phi y psi fórmulas de PROP)( (phi OR psi) AND NOT(phi AND psi) IMPLICA (NOT phi OR psi) OR (phi AND NOT psi) es una tautología).
Si encontramos que para alguna valuación v, el valor de verdad de esa fórmula es 0, se puede ver que es falsa, pero, si vemos que es tautología, ¿cuál es la mejor forma de probarlo, es decir, la más eficiente? ¿Aplicar la definición de tautología y luego de valuación hasta llegar a una expresión que sólo esté en función de v(phi) y v(psi) y hacer análisis de casos, o hay una forma más fácil de hacerlo?
Gracias desde ya. Saludos.