A new symbolic representation of the basic truth-functions of the propositional calculus
Jerome Frazee · History and Philosophy of Logic · 1988
As with mathematics, logic is easier to do if its symbols and their rules are better. In a graphic way, the logic symbols introduced in thís paper show their truth-table values, their composite truth-functions, and how to say them as either ‘or’ or ‘if … then’ propositions. Simple rules make the converse, add or remove negations, and resolve propositions.