nltk.TableauProverCommand.__init__

TableauProverCommand.__init__(goal=None, assumptions=None, prover=None)[source]
Parameters:
  • goal (sem.Expression) – Input expression to prove
  • assumptions (list(sem.Expression)) – Input expressions to use as assumptions in the proof.