Частный случай отношения логического следования, имеющий место при выводе из одной посылки. Из высказывания A логически следует высказывание B если и только если при истинности высказывания A высказывание B также всегда является истинным, т.е. при любом положении дет и при любой допустимой интерпретации “дескриптивных” знаков, если высказывние A истинно, то и высказывание B истинно.
Одно из трех базовых бинарных логических отношений, через которые определяются другие, производные отношения.
Наличие отношения логического следования из высказывания A высказывания B символьно обозначается записью “A |= B”.