Pravdivost v interpretaci a kontextu

Pravdivost predikátových formulí v interpretaci a kontextu vyhodnocujeme podle následujících pravidel:

1. Atomická formule je pravdivá v interpretaci a kontextu, pokud -tice termů (po dosazení za konstanty, proměnné a funkce) splňuje vztah .
2. Jsou-li predikátové formule s určenou interpretací i kontextem, pak pravdivost formulí (v interpretaci a kontextu) vyhodnocujeme podle pravidel VL (výrokové logiky).
3. Je-li predikátová formule s určenou interpreací i kontextem, pak formule:
   1. je pravdivá v interpretaci a kontextu, pokud je pravdivá ve všech kontextech pro .
   2. je pravdivá v interpretaci a kontextu, pokud je pravdivá v alespoň jednom kontextu pro .

Predikátová formule je pravdivá v interpretaci, je-li v této interpretaci pravdivá v libovolném kontextu.