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