Исходя из представленной таблицы истинности для трех формул являются истинными следующие утверждения об отношении следования:

  • Из Ψ и Σ следует Ω
  • Из Ψ и Ω следует Σ
  • Из Ψ следует Σ
  • Из Ψ следует Ω
  • Из Ω и Σ следует Ψ
  • Из Ω следует Σ

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.