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.