Propositional matrices as alternative representation of truth values

Abstract

The paper considered the subject of representation of truth values in symbolic logic. An alternative representation was given based on the rows and columns properties of matrices, with the operations involving the logical connectives subjected to the laws of algebra of propositions. Matrices of various propositions detailing the procedure of their derivations were discussed alongside their properties, which assist in the application of this method to complex propositions. Illustrations provided show that these matrices could be alternative sources of teaching or discursions in mathematical logic involving truth values.

Keywords: Algebra of propositions, matrices, mathematical logic, truth values