Formuła zdaniowa A danego języka pierwszego rzędu jest prawdziwa przy interpretacji tego języka wtedy i tylko wtedy, gdy formuła zdaniowa A jest spełniona przy interpretacji M przez każde M-wartościowanie.
Czyli innymi słowy wtedy i tylko wtedy, gdy dla każdego M-wartościowania 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 wtedy i tylko wtedy, gdy dla każdego M-wartościowania s zachodzi:
Kategoria:Logika matematyczna