предикатно смятане

Може ли някой да ми даде линк, или изпрати на e-mail някакъв учебник или материал за предикатно смятане. Ако може да е обяснено на разбираем език.
Учил съм математичен анализ, и други неща, но сега се сблъсках с това чудо, и никъде не е обяснено като хората, поне не и за мен, от това, което намерих в гугъл.
Ще съм благодарен за всеки съвет, стига да не е заяждане.

Но проблем, ето ти линк:
[линк]


Hello, my name is Inigo Montoya

Много благодаря за линка! Как не съм се сетил по-рано! Друго си е когато помогне някой интелигентен, знаещ, и добронамерен човек, който е прочел внимателно въпроса.

Ирония ли долавям тук? Да видим.

Given constant symbols {Нekoй_cи, Иниго_монтоя}; function symbols {отговор_на(-)}; predicate symbols {ИРОНИЗИРА(-,-)}. Is the formula ИРОНИЗИРА(Нekoй_cи,отговор_на(Иниго_монтоя)) satisfiable?


Hello, my name is Inigo Montoya