Операция, выражаемая связками «ЕСЛИ…ТО», «ИЗ…СЛЕДУЕТ», «…ВЛЕЧЁТ,,,», называется:

  • отрицанием
  • дизъюнкцией
  • импликацией
  • конъюнкцией
  • эквиваленцией

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