Для следующий формул:
A → (A ∧ B)
¬A
B ≠ A
являются верными следующие утверждения о следовании
- (B ≠ A); ¬A╞ A → (A ∧ B)
- A → (A ∧ B); B ≠ A ╞ ¬A
- A → (A ∧ B); ¬A╞ B ≠ A
- A → (A ∧ B)╞ B ≠ A
- B ≠ A ╞ ¬A
- ¬A╞ A → (A ∧ B)
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.