ОБЩЕЗНАЧИМОСТЬ
Определение
свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогических символов, то есть предикатных и пропозициональных переменных
Источник: наш словарь
💬 Комментарии и оценки
Загрузка комментариев...