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

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

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

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

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

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

Пример.

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

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