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