Symbolic Logic
Encyclopedia article; The Columbia Encyclopedia, Sixth Edition, 2007
...Truth-functional Analysis The first part of symbolic logic is known as truth-functional analysis, the propositional calculus...connection between the antecedent and the consequent is merely formal, is known as material implication. The biconditional, or double...