Actividad: Programa Reconocimiento de Fórmulas Bien Formadas en Lógica Proposicional.

Objetivo: Implementar el procedimiento de reconocimiento de fórmulas bien formadas en

Lógica Proposicional.

Tarea: Desarrollar un algoritmo capaz de decidir si una fórmula está bien formada o no.

Ejemplos de Fórmulas bien Formadas para una Signature ∑ = { p,q,r,s}.

1. (p → q)
2. (¬p)
3. ¬((p → q) ∧(¬s))
4. ⟘
5. ⟙
6. r

Son Fórmulas Mal Formadas

1. ⟘(p → q)
2. (¬p⟙)
3. ¬((p → q) ∧(¬s)))