Term Logic

• Every well-formed SNePS expression is a term.

  • Even propositions are denoted by terms.
  • Propositions can be arguments without leaving first-order logic.

Previous slide

Next slide

Back to first slide

View graphic version