A simple model checking problem is verifying whether a given formula in the propositional logic is satisfied by a given structure.
Ένα απλό πρόβλημα ελέγχου μοντέλων είναι να επαληθευτεί αν μια δεδομένη έκφραση της προτασιακής λογικής ικανοποιείται από μια δεδομένη δομή.