ПРОСЕКВЕНЦИЯ
Определение
Исчисление секвенций — вариант логических исчислений, использующий для доказательства утверждений не произвольные цепочки тавтологий, а последовательности условных суждений — секвенций.
Источник: наш словарь
💬 Комментарии и оценки
Загрузка комментариев...