Logical truth (Predicate calculus)

=== for every Model M = <U, I> holds: M ⊩ A==