Искусственный интеллект

Пусть, например, среди множества аксиом в неклассическом исчислении для какой-либо среды имеется две аксиомы V(x) а (х) и а (А) о Р (В), где х — переменная; А, В— константы; а, р — предикатные символы. Спрашивается, можно ли на основании этих аксиом, используя правило модус поненс а, а з р Ь Р, заключить, что формула Р(/?) истинна. Если принять а э а 04), Р = Р(5), то такое заключение можно было бы сделать, если бы среди исходных аксиом имелась аксиома а (А). Ее у нас нет. Имеется только аксиома V (х) а (х). Эта аксиома гласит: «Для всех х имеет место истинность формулы а (х)». Когда речь идет о всех х формулы а (х), то имеются в виду, естественно, только те х, областью значений которых являются заранее оговоренные константы, среди которых есть константа А хотя бы потому, что она встречается в предикате а(А) формулы а (А) з р (В), т.е. в предикате, предикатный символ а которого совпадает с предикатным символом предиката в аксиоме V(x) a(x). Это означает, что предикат а (Л) истинен. Следовательно, можно воспользоваться правилом модус поненс и заключить, что формула р (В) истинна. Таким образом, чтобы воспользоваться правилом модус поненс