Быстрый просмотр: Правило вывода = заключение + правило + посылки Дерево доказательств = заключение + правило + поддеревья Обратный поиск доказательств: с учетом входной цели попробуйте построить дерево доказательств, применяя правила...