1
Lógica / Probar que es una tautología
« en: 08 Octubre, 2016, 08:16 pm »
Probar que dado una formula de logica proposicional, y solo usando el símbolo \( \Leftrightarrow{} \) es una tautología si y solo si el numero de apariciones de cada variable en la proposición es un numero par.
Pensé en construir una table de la verdad pero claro no es un razonamiento muy valido al no saber el numero de variables, si alguien puede orientarme en como demostrarlo se lo agradecería!
Pensé en construir una table de la verdad pero claro no es un razonamiento muy valido al no saber el numero de variables, si alguien puede orientarme en como demostrarlo se lo agradecería!