Формула G является логическим следствием формул F1,F2,…,Fk, тогда и только тогда, когда множество формул L=(F1,F2,…,Fk, |G): выполнимо;, доказуемо;, истинно;, ложно;, невыполнимо;