Lógica y Matemática Discreta - Sintaxis

En este vídeo estudiamos la sintaxis de lógica de proposiciones. Se examinará el proceso de formalización del lenguaje natural y su transformación en fórmulas proposicionales. Para ello, se definirá el conceptos de alfabeto (variables proposicionales, constantes lógicas, conectivos y símbolos auxiliares) y se especificarán las reglas de formación. También se describirán los árboles estructurales.