Spełnianie formuły zdaniowej
Z Wikipedii
Jeśli możesz, dodaj je teraz.
Niech M = <U, ∆> i niech s będzie M-wartościowaniem. A M╞ A [s] oznaczać będzie, że formuła zdaniowa A jest spełniona przy interpretacji M przez M-wartościowanie s.
- M╞ Pkn(τ1,..., τn)[s] wtw ∆(P)(τ1M [s],..., τnM [s]).
- M╞ ¬B [s] wtw M non╞ B [s].
- M╞ (B ∧ C)[s] wtw M╞ B[s] oraz M╞ C[s].
- M╞ (B ∨ C)[s] wtw M╞ B[s] lub M╞ C[s].
- M╞ (B → C)[s] wtw M non╞ B[s] lub M╞ C[s].
- M╞ (B ↔ C)[s] wtw M╞ B[s] zawsze i tylko, gdy M╞ C[s].
- M╞ ∃xi A[s] wtw istnieje u ∈ U takie, że M╞ A[s(u/si)].
- M╞ ∀xi A[s] wtw dla każdego u ∈ U jest tak, że M╞ A[s(u/si)].
