Определение логического следования формул

Формула называется логическим следствием формул , если формула превращается в истинное высказывание при всякой такой подстановке вместо всех ее пропозициональных переменных конкретных высказываний, при которой в истинное высказывание превращаются все формулы . То, что формула является логическим следствием формул , записывается так: . Формулы называются посылками для логического следствия .