Spełnianie formuły zdaniowej

Z Wikipedii

Zasugerowano, aby ten artykuł zintegrować z artykułem spełnialność formuły zdaniowej.

Zasugerowano, aby ten artykuł zintegrować z artykułem spełnialność formuł logicznych.

Ten artykuł wymaga dodania linków wewnętrznych. Jeśli możesz, dodaj je teraz. Linki do innych haseł: hasło, hasłowy, hasłami zapisujemy jako [[hasło]], ''[[hasło]]wy'', '''[[hasło|hasłami]]'''.

Ten artykuł wymaga dopracowania zgodnie z zaleceniami edycyjnymi. Należy w nim poprawić: latex. Po naprawieniu wszystkich błędów można usunąć tę wiadomość.

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.

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)].