Curso de lógica proposicional 02 Formalización II
Автор: Santiago Sánchez-Migallón
Загружено: 2018-04-07
Просмотров: 72886
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: circumdatus@yahoo.es
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...
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
