Логические следствия

Высказывание В есть логическое следствие высказываний Логические следствия (в исчислении высказываний), что символически записывается в виде:

Логические следствия

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

Пример.

Логические следствия

 

Логические следствия

 

Логика - доступно для всех