Формула G называется логическим следствием формул F1,F2,..,Fk, если при любой интерпретации j из j(F1)=j(f2)=…-j(Fk)=1 следует, что: F(j)=1;, F=1;, j(G)=1., j=0;