Module tableau

Classes

Tableau

Agenda

Categories

Functions

_attempt_proof(agenda, accessible_vars, atoms, debug=(False, 0)) source code

debug_line(data, debug)

source code

_attempt_proof_atom(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_n_atom(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_n_eq(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_d_neg(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_n_all(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_n_some(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_and(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_n_or(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_n_imp(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_or(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_imp(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_n_and(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_iff(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_n_iff(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_eq(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_some(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

_attempt_proof_all(current, agenda, accessible_vars, atoms, debug=(False, 0)) source code

testTableau()

source code

tableau_test(e)

source code