Predicate Logic

This type of logic is based on the idea of predicates and their corresponding subjects. It involves relationships between predicates and subjects to make logical statements.