Curso de lógica proposicional 02 Formalización II

Seguimos definiendo los elementos del lenguaje de la lógica de enunciados y su formalización, poniendo múltiples ejemplos hasta llegar a la formalización de un argumento completo. Fe de erratas: Me da un poco de cosilla, cómo explico la formalización del bicondicional o coimplicador. Verdaderamente, no tiene nada que ver con "es equivalente" o "es igual a". Solo es una forma de explicarlo para no liar a los alumnos. Cualquier experto en lógica proposicional que viera eso se tiraría de los pelos. Además, en 4:30 formalizo "No me escuches" como p cuando hay que ponerle una negación delante, con lo que la formalización de "Que no me escuches equivale a que me ignores" debería ser no-p bicondicional q. Disculpadme. Mi correo: [email protected] Mi blog: https://vonneumannmachine.wordpress.com/ Mi blog en Facebook:   / lamaquinadevonneumann   Twitter: @VNMachine Instagram: @pilotoprix Mi perfil en Xataka: https://www.xataka.com/autor/santiago...