This section has moved to 2-4-truth-tables-for-the-conditional-and-bicondition.