Model.satisfy(parsed, g, trace=None)[source]

Recursive interpretation function for a formula of first-order logic.

Raises an Undefined error when parsed is an atomic string but is not a symbol or an individual variable.


Returns a truth value or Undefined if parsed is complex, and calls the interpretation function i if parsed is atomic.

  • parsed – An expression of logic.
  • g (Assignment) – an assignment to individual variables.