Al concluir las actividades de la semana, podrás:

• Traducir la notación BNF de un conjunto de expresiones de la lógica proposicional en su definición recursiva formal equivalente y viceversa.

• Dibujar el árbol sintáctico de una expresión arbitraria.

• Identificar elementos ambiguos dentro de los diferentes conjuntos de expresiones de la lógica proposicional.

• Usar y aplicar las reglas de precedencia y asociatividad de operadores lógicos para eliminar paréntesis superfluos en cualquier elemento de LPROP.

• Dibujar el árbol sintáctico de un elemento de LPROP.

• Identificar proposiciones atómicas y compuestas dentro de textos en español

• Decidir si dos proposiciones (atómicas o compuestas) tienen el mismo valor de verdad.

• Formalizar proposiciones compuestas que contengan negaciones, conjunciones y disyunciones.