Formal Logic
Predicate Logic
Universal Quantifier
denoted ∀
Existential Quantifier
denoted ∃
Previous Slide
3 of 15
Next Slide