Go backward to Substitutions Go up to Top

Summary

• Proving versus disproving.
• Direct method versus indirect method.
• Top-down decomposition.
  • Outermost quantifier/connective.
  • Inserting definitions.
• Deriving new knowledge.
  • Case distinctions.
  • Application of universally/existentially formulas in knowledge.
  • Propositional tautologies.
  • Quantifier consequences.
  • Substitutions.