Изкуствен интелект

Една от основните цели на опростяването на синтаксиса на позиционното и предикативното смятане е да се съкрати бр. на правилата за извод, които са необходими за доказване на теореми....