lemmatic inference

Мат. лемматическое [условно-разделительное] умозаключение