Model-Checking Problem

computation

Definition

Model-Checking Problem

Given a propositional logic formula $\varphi$ and a truth assignment $I$ for $\varphi$. The model-checking problem asks whether $I(\varphi )=\text{true}$.

The model-checking problem is a decision problem.