unicode_fol_kit.is_valid_tableau

unicode_fol_kit.is_valid_tableau(formula, max_steps=20000, max_terms=8)

Return True iff formula is valid — its negation’s tableau closes.

A modal formula is decided over the system K by the labelled modal tableau; use unicode_fol_kit.atp.modal_tableau.is_modal_valid() for other frames.

Parameters:

• formula (Node)

• max_steps (int)

• max_terms (int)

Return type:

bool