Две логические формулы, значения которых совпадают на всех интерпретациях, называются:

  • выводимыми
  • общезначимыми
  • равносильными
  • теоремами
  • тождественными
Для просмотра статистики ответов нужно залогиниться.