All decks Close
All decks 4
  • Default Logic

  • Entailment

  • Languages

  • Rules of Inference