unicode_fol_kit.matrix_entails

unicode_fol_kit.matrix_entails(premises, conclusion, matrix, domain=None)

True iff every assignment designating all premises designates conclusion.

Matrix consequence: Γ ⊨ φ holds when no assignment over matrix makes every premise designated yet the conclusion undesignated.

Parameters:

• premises (Sequence[Node])

• conclusion (Node)

• matrix (TruthMatrix)

• domain (Sequence[str] | None)

Return type:

bool