Prawdziwość formuły zdaniowej

Formuła zdaniowa A danego języka pierwszego rzędu jest prawdziwa przy interpretacji $M=<U,\mathrm{\Delta }>$ tego języka wtw formuła zdaniowa A jest spełniona przy interpretacji M przez każde M-wartościowanie.

Czyli innymi słowy

$M\models A$ wtw dla każdego M-wartościowania s, $M\models A[s]$

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:

$Mnon\models A[s]$