quantifier-free

Бескванторный — quantifier-free calculus — quantifier-free formula — quantifier-free inference — quantifier-free sentence