Overview

MaTest is a logical matrix tester, useful in logic research.

It applies the matrix-method (in the sense of Lewis & Langford1) exhaustively to well formed formulas and represents it in a truth-table like form. In fact, its algorithms constitutes a general solution to the matrix-method problem when matrices are finite. In other words, defined some connectives semantically as matrices with a set of designated values, MaTest calculates for every truth-value assignation the corresponding values of a well formed formula and its subformulas evaluating if values are designated or not, then it shows if formula is tautological, i. e., if the formula is a consequence of the matrices system. The simplest task can perform MaTest is to make truth-tables in classical propositional logic.

Successor of Matrigüity, created by José M. Méndez and Benito García Noriega in 1982. For more details see the History section.

MaTest is released under the GNU General Public License (GPL).

• 1. Symbolic logic,
  Lewis, C. I., and Langford C. H.
  , New York, (1951)