quantifier-free inference

Мат. бескванторный вывод