MaTest es un tester de matrices lógicas, útil en la investigación en lógica.

Sucesor de Matrigüity, creado por José Manuel Méndez Rodríguez y Benito García Noriega en 1982. Ver la sección Historia para más detalles.

El programa aplica exaustivamente el método matricial (en el sentido de Lewis y Langford1) sobre fórmulas bien formadas (fbf) y muestra los resultados en forma de tabla de verdad. El algoritmo empleado constituye una solución general para la aplicación del método matricial cuando las matrices son finitas. En términos semánticos, definidas unas conectivas como matrices y establecido un conjunto de valores designados, MaTest calcula, para cada asignación de valores de verdad, si una fórmula bien formada es válida o no. Sobre la base de la validez de las asignaciones el programa establece si el conjunto de matrices verifica la fórmula o no.

La tarea más simple que MaTest puede desempeñar es la generación de tablas de verdad para la lógica proposicional clásica. Este es el caso para las matrices de dimensión 2 (con dos valores de verdad) definidas por defecto. Los casos más complejos pueden considerarse extensiones de este, cuando se consideran más valores de verdad y con las matrices definidas como se quiera.

MaTest se distribuye bajo la licencia GNU General Public License (GPL).

• 1. Lewis, C. I., & Langford C. H.
  (1951).  Symbolic logic.