Tekst źródłowy strony Prawdziwość formuły zdaniowej

Formuła zdaniowa A danego języka pierwszego rzędu jest '''prawdziwa przy interpretacji''' <math>M = <U, \Delta></math> tego języka wtw formuła zdaniowa A jest [[Spełnialność formuły zdaniowej|spełniona]] przy [[Struktura matematyczna|interpretacji]] M przez każde [[M-wartościowanie]].

Czyli innymi słowy
: <math>M \models A</math> wtw dla każdego M-wartościowania s, <math>M \models A [s]</math>

Zbiór wszystkich formuł zdaniowych rozważanego języka, które są prawdziwe przy interpretacji M tego języka oznaczmy symbolem '''Vr(M)'''.

Formuła zdaniowa A jest '''fałszywa przy interpretacji M''' wtw dla każdego M-wartościowania s zachodzi:
: <math>M non \models A[s]</math>

[[Kategoria:Logika matematyczna]]