logical equivalences involving quantifiers