International Journal of Natural and Applied Sciences

Log in or Register to get access to full text downloads.

Remember me or Register

DOWNLOAD FULL TEXT Open Access  DOWNLOAD FULL TEXT Subscription or Fee Access

Propositional matrices as alternative representation of truth values

E John, O Ating


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
AJOL African Journals Online