TRC Formulas

• Atomic formula:

  • R ? Rel, or R.a op S.b, or R.a op constant
  • op is one of

• Formula:

  • an atomic formula, or
  • , where p and q are formulas, or
  • , where variable X is free in p(X), or
  • , where variable X is free in p(X)

Previous slide

Next slide

Back to first slide

View graphic version