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

• тождественными;
• теоремами.
• выводимыми;
• общезначимыми;
• равносильными;

Другие предметы Колледж Логика высказываний интеллектуальные информационные системы ИИС колледж логические формулы тождественные формулы теоремы равносильные формулы общезначимые формулы Новый

В данном случае, правильный ответ - равносильными.

Давайте разберемся, что это означает и почему именно этот термин подходит.

• Тождественные формулы - это формулы, которые истинны для всех возможных значений переменных. Например, формула "A или не A" всегда истинна.
• Теоремы - это утверждения, которые можно доказать на основе аксиом и ранее установленных теорем. Они не обязательно должны быть истинны для всех интерпретаций.
• Выводимые формулы - это те формулы, которые могут быть выведены из других формул в рамках какой-либо системы аксиом.
• Общезначимые формулы - это формулы, которые истинны для всех интерпретаций, то есть аналогично тождественным формулам.
• Равносильные формулы - это формулы, которые имеют одинаковое значение истинности на всех интерпретациях. То есть, если одна формула истинна, то и другая также истинна, и наоборот.

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