Section 3.3: Operations and Laws of Logic

3.3 Outline

  1. Biconditional, implication, and logical equivalence
    1. definition of biconditional
    2. verifying tautologies
    3. implication
    4. equivalence
  2. Laws of logic
    1. law of double negation
    2. law of contraposition
    3. De Morgan’s laws
  3. Negation of a compound statement
    1. negation of a conditional
    2. language analysis
  4. Miscellaneous operators
See the whole entry