Logical Formula Evaluator 1.02

Para tratar con proposiciones de lógica de orden cero cuentas con Logical Formula Evaluator, una herramienta que a modo de editor te permite ir introduciendo todos los elementos que componen la fórmula en cuestión para, posteriormente, evaluarla sin ninguna dificultad. Introducir tanto conjunciones como disyunciones es muy sencillo, así como obtener la tabla de valores y hacer comprobaciones de sintaxis.

Operar con cualquier proposición de lógica de orden cero suele ser bastante complicado, pero los creadores de Logical Formula Evaluator han focalizado sus esfuerzos en desarrollar un programa que simplificara las operaciones de evaluación, las cuales consisten en introducir igualdades, conjunciones y disyunciones. También te será sencillo generar una tabla con los pertinentes valores.

Logical Formula Evaluator te proporciona toda la información relevante sobre las fórmulas de lógica proposicional, incluyendo los errores presentes en la sintaxis y los diversos operadores que se encuentran en los conjuntos matemáticos.