Entailment Checking

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The decision procedure or algorithmic task of determining whether a set of premises Γ semantically entails a conclusion φ under a specified logic and semantics (written Γ ⊨ φ), often by searching for proofs or countermodels.