@an_lzv привет! Можешь в head плиз вставить код
Scroll

first-order logic

A formal system used in AI to represent and reason about relationships between objects and their properties, supporting more complex reasoning than basic Boolean logic.