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

• Determinar si es posible capturar el sentido de un argumento lógico planteado en español usando únicamente lógica proposicional o no.

• Determinar si una expresión dada es o no una fórmula bien formada del conjunto LPO.

• Identificar, dentro de una FBF en LPO cuáles ocurrencias de variables son libres y cuáles son ligadas.

• Determinar si una fórmula φ∈LPO es un enunciado o no.

• Dada una FBF en LPO definir formalmente una interpretación donde esta sea verdadera o falsa.

• Dada una FBF en LPO y una interpretación específica, determinar el valor de verdad de dicha fórmula bajo la interpretación.