• Q è una conseguenza logica delle premesse P1, ... Pn, se e solo se Q è vera nella teoria {P1, ... Pn}. Scritto:

$$ P_1,...,P_n\models_{FO}Q $$

• Equivalentemente: per ogni L-struttura S = (U, I), se I(P1) = I(P2) = ... = I(Pn) = T, allora I(Q) = T.
• Ogniqualvolta una L-struttura è modello della teoria {P1, ..., Pn} allora è anche modello di Q
• Cioè come detto prima quando abbiamo definito "essere vero in una teoria", ogniqualvolta i enunciati della teoria sono veri in una L-struttura, allora dev'essere vera anche Q.