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
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
