Prawdziwość formuły zdaniowej
Formuła zdaniowa A danego języka pierwszego rzędu jest prawdziwa przy interpretacji tego języka wtw formuła zdaniowa A jest spełniona przy interpretacji M przez każde M-wartościowanie.
Czyli innymi słowy
- wtw dla każdego M-wartościowania s,
![{\displaystyle M\models A[s]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2700b7de35c6397f7383bd69af962fd3e9594ec1)
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:
![{\displaystyle Mnon\models A[s]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b765b64f01ac3a668eba5cbdd9c009f6dbb085ef)