• Q è una conseguenza logica in C delle premesse P1, ... Pn se e solo se Q è vera in ogni L-struttura (circonstanza) di C e che è modello della teoria {P1, ... Pn}. Scritto:

$$ P_1, P_2, ..., P_n\models_CQ $$

• Quindi Q è conseguenza delle premesse se Q e vero in ogni circonstanza del contesto C dove anche P1, ... Pn sono vere.