unicode_fol_kit.matrix_is_valid¶

unicode_fol_kit.matrix_is_valid(formula, matrix, domain=None)[source]¶

True iff formula is designated under every assignment over matrix.

Enumerates len(matrix.values) ** n assignments of the n distinct ground atoms (after grounding quantifiers over domain). Exponential in n; capped at manyvalued.MAX_MODELS.

Parameters:

formula (Node)
matrix (TruthMatrix)
domain (Sequence[str] | None)

Return type:

bool