2. En anteriores clase vimos los operadores lógicos con proposiciones, si esos operadores los combinamos podemos formar fórmulas lógicas. La primera pregunta que nos hacemos es: Cómo sabemos si una fórmula está bien formada. 1.5 Álgebra declarativa
3. Hay que utilizar equivalencias lógicas. Equivalencia lógica: Se dice que dos proposiciones son lógicamente equivalentes, o simplemente equivalentes. Si coinciden sus resultados para los mismos valores de verdad. Se indican como p º q. ¿Cómo simplificar en lógica?
5. Hacemos álgebra declarativa cuando formulamos relaciones entre proposiciones por medio de conectores lógicos(conjunción, disyunción, etc.) y podemos simplificar estas expresiones encontrando una equivalencia lógica. Conclusión