Классическое 
исчисление предикатов первого порядка семантически непротиворечиво, то есть каждая его формула универсально общезначима.        
    
        Язык SELF представляется в семиотическом плане намного более продвинутым, чем формальный язык узкого 
исчисления предикатов.        
    
        Если вам нравится 
исчисление предикатов, то можете и далее продолжать "играть" в свои "игрушечные" задачи с 30 правилами и NP-полными алгоритмами.        
    
        Любители 
исчисления предикатов могут называть логический вывод в таких матрицах автоматическим конструированием алгоритмов, но суть от этого не изменится: линейная сложность и решение реальных задач с десятками тысяч правил и объектов, а также возможность параллельных решений и подключения новых возможностей: сервисов, правил, процедур, нейроподпрограмм, генетических и т.п. модулей, ГРИД-технологий, облачных вычислений, агентов и т.п. Мивары ничего не запрещают и не отвергают, а наоборот позволяют решать комплексные задачи различными методами, включая: предикатные, продукционные, нейроматематические, генетические, нечёткие, вероятностные и прочие методы работы как с полной, так и с неполной и противоречивой информацией.        
    
        До свидания, 20 век – век 
исчисления предикатов, реляционных и объектно-ориентированных баз данных.        
    
    
    
        
             Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
            Карту слов. Я отлично
            умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
            Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
            Карту слов. Я отлично
            умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
        
        
            
                    
                    
                        Спасибо! Я стал чуточку лучше понимать мир эмоций.
                     
                    
                        Вопрос: дезактуализированный — это что-то нейтральное, положительное или отрицательное?                    
 
         
     
                                
        Универсальным суждениям в 
исчислении предикатов первого порядка соответствует квантор всеобщности.