Hola tengo una duda con este ejercicio, en la solucion lo demuestran con induccion pero podemos usar la definicion de equivalentes y probar que α<->pi es una tautologia o probar que α<->¬pi es una tautologia ?
Hola Pedro:
¿podés escribir la prueba que proponés? No me doy cuenta como evitarías la inducción.
¿podés escribir la prueba que proponés? No me doy cuenta como evitarías la inducción.
Hola si, paso lo que pude hacer no se si este bien:
Hola:
Vos lo que estás probando es que para toda
valuación 
se cumple que:
o 
Pero deberías probar que:
- Para toda valuación :
o
Para toda valuación:
Son cosas diferentes, la primera se cumple para cualquier fórmula de PROP. No así la segunda.
Entendi, muchas gracias