Логика

Логика высказываний

AKA исчисление высказываний, логика нулевого порядка

Логика первого порядка

AKA predicate logic, quantificational logic, first-order predicate calculus