Това е само предварителен преглед!
Представяне на процедурни знания чрез предикати. Предикатна логика
1. Общи положенияТук ще разгледаме друга формална система, наречена предикатно смятане.Този формализъм ни позволява да съдим за изрази, които са значително по-сложни от пропозициите, но си приличат по своята натура....