This section has moved to truth tables for the conditional and biconditional.