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 implicador. 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.

Видео Curso de lógica proposicional 02 Formalización II канала Santiago Sánchez-Migallón