Logic

Is part of discrete math

1.Propositional logic

2.Predicate logic or predicate calculus or first order logic is 1. with quantifiers (like for all, for some) used for elements

3.second order logic is 2. With quantifiers used for sets of elements