Kirk Rader
1.0SNAPSHOT

Logical operations of the sentential and monadic predicate calculi.
Many students find the formal definition for some of these connectives, especially the conditional connective, counterintuitive, thinking that one or more rows of some truth tables should be marked as "undetermined" or some such. This reflects one of the central issues with trying to equate formulas of symbolic logic with natural language expressions already alluded to, above. One must simply accept that within the domain of discourse of the sentential and monadic predicate calculi every wellformed formula has a truth value and their respective truth tables define the semantics of the connectives. Otherwise, one might as well stop reading this document or any other work on "traditional" logic.
That said, the best way to "feel" the correctness of the truth table for the conditional connective, , is by understanding it to mean that there are no possible circumstances under which can be true while is false or, more succinctly, that implies . Any trial lawyer will tell you that the burden of proof for such inferences in the real world is almost always close to impossibly high, which is part of the reason for the uneasiness with which this truth table is inevitably first met.
In US courts, as in most legal systems based on British Common Law, the burden of proof for finding a defendant guilty of a crime is "beyond a reasonable doubt" which is a lower standard of proof than "beyond any possibility of doubt." The standard is even lower in civil litigation where the burden is simply that of a "preponderance of the evidence." These lesser standards for proving legal liability reflect the degree to which it is simply a mistake to believe that symbolic logic has much utility in settling a posteriori arguments regarding contingent facts, as discussed further in Validity.
The connectives of the sentential calculus are formally defined using truth tables.
For each column that represents a formula joined by connectives, the truth value for that column is calculated according to the truth table of that connective and the values for all its terms in the same row.
Negation inverts the truth value of the term to which it applies:
Conjunction is true if and only if both its terms are true:
Disjunction is true if either or both of its terms are true:
A conditional formula is false if and only if its antecedent (the term to the left of the arrow) is true and its consequent (the term to the right of the arrow) is false.
A biconditional is true when both its terms have the same truth value, false otherwise. For this reason, it is sometimes described as meaning "equivalence."
The doubleheaded arrow symbol (' ') is used due to the fact that is equivalent to:
Or, in English, ' if and only if ' is the same as ' implies and implies .'