P è logicamente vero in un contesto C se tutte le L-strutture appartenenti a C sono modelli di P. Quindi se P è vera in ogni circonstanza (L-struttura) del contesto C.
$$ \models_C P $$