MaTest

En vistas a eliminar las limitaciones de las cinco variables y de las conectivas predefinidas, en futuras versiones se va a adoptar la siguiente convención para las fórmulas escritas en notación polaca:

En una fórmula escrita en notación polaca, toda letra mayúscula se considerará una conectiva, toda letra minúscula se considerará una variable.

La definición de fórmula bien formada en notación polaca no dependerá ya de las conectivas y variables previamente definidas, es decir, no dependerá de limitaciones estructurales propias del programa, sino de las conectivas definidas por el usuario y la elección de cualesquiera nombres para las variables. El programa se las habrá con lo que proporcione el usuario. El algoritmo que chequea las fórmulas se vuelve independiente y es una solución general en base a dicha conveción.

Esto no elimina toda limitación, pero un máximo de 26 conectivas definidas y 26 variables para una fórmula es un límite más que aceptable, seguramente nunca se necesite más que esto.

MaTest, acrónimo de Matrix Tester, es un téster de matrices lógicas, útil en la investigación en lógica matemática y lógica filosófica. Definidas unas matrices, un mínimo valor designado y dada una fórmula bien formada, calcula todas las valoraciones posibles y evalúa en cada caso si es un valor designado o no.

MaTest es software libre, se distribuye bajo licencia GPLv3+. Está programado en ANSI C estándar y es multiplataforma.

En este blog se irán añadiendo las noticias relativas a su desarrollo: nuevas características, nuevas versiones, etc.