2.8 Predicate Logic
Predicate logic is an extension of propositional logic. It allows us to express more detailed statements about objects and their properties. In predicate logic, we can talk about individuals, groups, and relationships between them (as shown in Figure 2.7).
(Figure 2.7: Predicate Logic Structure)