Резолютивный вывод
это конечная последовательность дизъюнктов, каждый из которых либо принадлежит исходному множеству дизъюнктов, либо является резольвентой предыдущих с применением унификации.
- Предмет: Логика
- Автор: Белова Марина
Похожие термины по предмету логика
1 Ватт
это мощность, которую совершает работу в 1 Дж за время 1 с.
