☑️ Satisfiability (Predicate Calculus

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