This database entry builds on the following:

  1. Terminology: Class, statement
  2. Definition: Conjunction
  3. Terminology: Inference, entailment
  4. Terminology: Inference rule
  5. Inference rule: Conjunction introduction
  6. Inference rule: Conjunction elimination