Predikatlar mantiqi is a type of mathematical logic widely used in artificial intelligence to represent and reason about knowledge in a detailed manner. It allows for expressing relationships between objects and their attributes, as well as the ability to infer relationships between objects