inference rules for quantifiers

Upgrade
Loading…