La Zapatilla de Cristal
«Lo que necesitamos está ante nosotros y solo necesitamos tener valor y ser generosos para verlo».
– Cenicienta
OBJETIVOS
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.
RECURSOS
- Lecturas
Lógica y Argumentación | Alfonso Bustamante Arias
Secciones 4.1 - 4.5 (pp. 175 - 193)
Matemáticas discretas | Favio E. Miranda, Elisa Viso G
Secciones 4.1 y 4.2 (pp. 167 - 171)