Bivalent Logic

A clear and succinct introduction to the two-valued logic pioneered by Aristotle. Associated topics covered include: the combinatorial basis of truth tables, Boolean Vector Arithmetic (an efficient implementation of truth tables utilizing matrices), rules of inference, the deductive argument form, as well as a brief logical analysis of Descartes' most famous argument. Read Sample