Operators

Section 3.3: Operations and Laws of Logic

by

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

Section 3.1: Deductive Reasoning

by

3.1 Outline

  1. Terminology
    1. argument
    2. hypotheses/premises
    3. deductive reasoning
    4. valid
    5. logic
    6. symbolic logic
    7. statement
    8. simple statement
    9. operators (connectives)
    10. compound statement
    11. fuzzy logic
    12. law of the excluded middle
    13. truth value of a simple statement
  2. Conjunction
    1. translation: and
    2. definition
  3. Disjunction
    1. translation: or
    2. definition
  4. Negation
… See the whole entry