Исходя из представленной таблицы истинности для трех формул являются истинными следующие утверждения об отношении следования:
- Из Ψ и Σ следует Ω
- Из Ψ и Ω следует Σ
- Из Ω и Σ следует Ψ
- Из Ω следует Σ
- Из Ω следует Ψ
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.