∀∃

#logic #mathematics #predicate calculus #universal quantifier #existential quantifier #for all #there exists #formal logic

∀∃💡

#formal logic #predicate calculus #first-order logic #foundations #theorem proving #unification #automated reasoning