nltk.inference.tableau.TableauProver

type TableauProver

object --+ | api.Prover --+ | TableauProver

Instance Methods

tuple: (bool, str)

_prove(self, goal=None, assumptions=None, verbose=False)
Returns: Whether the proof was successful or not, along with the proof

source code

_attempt_proof(self, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_atom(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_atom(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_prop(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_prop(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_app(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_app(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_eq(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_d_neg(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_all(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_some(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_and(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_or(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_imp(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_or(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_imp(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_and(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_iff(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_n_iff(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_eq(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_some(self, current, context, agenda, accessible_vars, atoms, debug)

source code

_attempt_proof_all(self, current, context, agenda, accessible_vars, atoms, debug)

source code

Inherited from api.Prover: prove

Class Variables

[hide private]

_assume_false = False

_prove(self, goal=None, assumptions=None, verbose=False)

source code

Returns: tuple: (bool, str): Whether the proof was successful or not, along with the proof
Overrides: api.Prover._prove: (inherited documentation)