Высказывание В есть логическое следствие высказываний 
(в исчислении высказываний), что символически записывается в виде:
если для всякого распределения истинностных значений, приписываемых каждой из простых формул , входящих в одну или несколько из формул 
и в В, формула В получает значение Т всякий раз, как каждое 
получает значение Т. Если пользоваться истинностными таблицами, то «
» означает просто, что при построении истинностных таблиц для и В по перечню 
простых формул, входящих в одну или в несколько из этих формул, В получает истинностное значение Т по меньшей мере для каждого приписывания отдельным P истинностных значений, которое одновременно дает всем 
значение Т.
Пример.
