Для данного рассужденияЕсли
студент решает правильно эту задачу, то он получает на экзамене оценку либо
«хорошо», либо «отлично». Следовательно, если студент не получил на экзамене
оценку «отлично», то либо он не решил правильно эту задачу, либо получил оценку
«хорошо»выберите наиболее подходящую формализацию и определите, имеется ли логическое следование

  • (A → B) ≠ C╞ (¬ C → ¬ A)≠ B
  • A → (B ∨ C)╞ ¬ C → (¬ A ∨ B)
  • A → (B ≠ C)╞ ¬ A → (¬ C ≠ B)
  • A → (B ≠ C)╞ ¬ C → (¬ A ≠ B)
  • вывод НЕ следует из посылок
  • вывод следует из посылок

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