Study of predicates and quantifiers in algebra, focusing on logical relationships and mathematical expressions. Important for understanding complex logical statements