Para desarrollar las formulas lógicas es importante tener en cuenta la sintaxis de las proposiciones. Tener un orden para construir las formulas, y establecer las normas para asi relacionar los simbolos de una forma adecuada. A estas formulas se les denomina como FBF (Formulas Bien Formuladas).
Estas reglas son:
No hay comentarios:
Publicar un comentario