Spełnianie formuły zdaniowej

Niech M = <U, ∆> i niech s będzie M-wartościowaniem. A M╞ A [s] oznaczać będzie, że forma zdaniowa A jest spełniona przy interpretacji M przez M-wartościowanie s.

1. M╞ P_kⁿ(τ₁,..., τ_n)[s] wtw ∆(P)(τ₁^M [s],..., τ_n^M [s]).
2. M╞ ¬B [s] wtw M non╞ B [s].
3. M╞ (B ∧ C)[s] wtw M╞ B[s] oraz M╞ C[s].
4. M╞ (B ∨ C)[s] wtw M╞ B[s] lub M╞ C[s].
5. M╞ (B → C)[s] wtw M non╞ B[s] lub M╞ C[s].
6. M╞ (B ↔ C)[s] wtw M╞ B[s] zawsze i tylko, gdy M╞ C[s].
7. M╞ ∃x_i A[s] wtw istnieje u ∈ U takie, że M╞ A[s(u/s_i)].
8. M╞ ∀x_i A[s] wtw dla każdego u ∈ U jest tak, że M╞ A[s(u/s_i)].