Matrix Tester for logical matrices.
MaTest es un tester de matrices lógicas útil en la investigación en lógica matemática y lógica filosófica. Definidas unas matrices para unas conectivas, definido un mínimo valor designado y dada una fórmula bien formada, calcula todas las posibles valoraciones de la fórmula y evalúa en cada caso si se trata de un valor designado o no.
Sucesor de Matrigüity, creado por José Manuel Méndez Rodríguez y Benito García Noriega en 1982, para más detalles véase la sección Historia.
MaTest es software libre, se distribuye bajo licencia GPLv3+, para más detalles véase la sección Copyright. Es multiplataforma, está programado en ANSI C estándar, no utiliza en su código funciones dependientes de sistema operativo; debería funcionar por tanto en cualquier sistema operativo para el que exista un compilador de C.
Puedes descargarlo desde https://forja.rediris.es/projects/cusl3-matest/.
El proyecto está alojado en la Forja RedIRIS. En la sección Ficheros aparecen las distintas versiones del programa. Para su desarrollo se utiliza el sistema de control de versiones Subversion, puedes navegar por el árbol SVN desde la forja en la pestaña SCM para ver el código en su versión actual, o descargarlo con el cliente Subversion mediante el comando:
svn checkout https://forja.rediris.es/svn/cusl3-matest/trunk
Aviso: la versión en desarrollo puede contener errores o ni siquiera ser funcional.
«A finales de 1982 José Manuel Méndez Rodríguez y Benito García Noriega aunaron sus respectivos conocimientos de lógica e informática y su habilidad e ingenio para crear un programa evaluador de fórmulas lógicas al que llamaron Matrigüity. Escrito en Basic y desarrollado con éxito con los medios, bastante rudimentarios, de los que los autores disponían en la época (un par de ordenadores, de los cuales uno era casi un juguete), Matrigüity resultó ser una herramienta valiosa para el desarrollo de las investigaciones de Méndez y de sus discípulos y colaboradores.«
Matrigüity ha conocido tres versiones actualizadas para Windows. La primera corrió a cargo de Pedro Méndez Rodríguez, la segunda, de Margarita Vázquez Campos, y la tercera, bajo la dirección de José Manuel Méndez, de Enrico Marchioni, en 2002.»
— Gemma Robles, 2007.
El programa MaTest, iniciado en 2008 por César González, es una implementación libre y multiplataforma reescrita desde cero en lenguaje C, que pretende incorporar y ampliar las características de sus predecesores, además de proporcionar código útil en el desarrollo de aplicaciones similares.
Primeramente ve a la página de descarcas (véase sección Descargas), allí encontrarás el paquete del programa en diversos formatos: [.zip] o [.tar.gz]. El contenido es el mismo, pero puede resultar más cómodo un formato u otro según en qué sistema operativo se vaya a instalar.
Para los usuarios de GNU/Linux o similar la opción más recomendable es descargar el paquete en formato [.tar.gz], formato estándar en los sistemas tipo Unix, presente en todas las distribuciones. Símplemente descomprime el paquete en el directorio que prefieras. En línea de comandos, por ejemplo:
$ cd /ruta/al/directorio $ tar -xzvf /ruta/al/paquete/MaTest-x.y.tar.gz
Dentro del directorio recién creado se encuentra el ejecutable del programa. Para arrancarlo ejecuta el binario en línea de comandos:
$ cd MaTest-x.y/ $ ./matest
Los usuarios de Windows seguramente prefieran descargar el paquete en formato [.zip]. Descomprime el archivo en el directorio que prefieras. Entra en el directorio recién creado y ejecuta el archivo MaTest.exe.
Compilando desde el código fuente. Se necesita un compilador de C.
Véase la página de la notación polaca para ver una explicación de su funcionamiento y cómo traducir fórmulas en notación estándar a esta notación.
Véase la página uso en la lógica proposicional clásica. MaTest puede usarse para generar tablas de verdad, esto es lo que el programa mostrará si se evalúa una fórmula en la lógica proposicional clásica.
El programa se distribuye bajo Licencia GPL versión 3 o posterior. Puedes redistribuirlo y/o modificarlo bajo los términos de dicha licencia. Este programa se distribuye con la esperanza de que sea útil, pero sin garantía alguna, ni siquiera la garantía implícita mercantil o de aptitud para un propósito determinado. Véase la licencia para más detalles.
La documentación aquí incluída, salvo que se diga lo contrario, se haya bajo CC Attribution-Noncommercial-Share Alike 3.0 Unported. Puedes copiar, distribuir o adaptar dicha documentación, respetando la autoría, no pudiendo hacer uso comercial de ésta y redistribuyendo las modificaciones bajo la misma licencia. Véase la licencia para más detalles.