☑️ Satisfiability (Predicate Calculus §

= a sentence A, for which a model M = <U, I> exists, so that M ⊩ A holds (=can be satisfied)