Cтраница 4
Представим этот текст средствами логики предикатов первого порядка. Введем обозначения: X - переменная для обозначения студента; хорошо - константа, соответствующая уровню квалификации; Р ( Х) - предикат, выражающий возможность субъекта X стать специалистом по прикладной информатике; Q ( X, хорошо) - предикат, обозначающий умение субъекта X программировать с оценкой хорошо; R ( X, хорошо) - предикат, задающий связь студента X с экзаменационной оценкой по информационным системам. [46]
Представим этот текст средствами логики предикатов первого порядка. Введем обозначения: X - переменная для обозначения студента; хорошо - константа, соответствующая уровню квалификации; Р ( Х) - предикат, выражающий возможность субъекта X стать специалистом по прикладной информатике; Q ( X, хорошо) - предикат, обозначающий умение субъекта X программировать с оценкой хорошо; R ( X, хорошо) - предикат, задающий связь студента X с экзаменационной оценкой по информационным системам. [47]
Кроме того, в логике предикатов вместо связанных кванторами переменных нельзя подставлять их определенные предметные значения ( одновременно для всех переменных), поскольку при этом получается бессмысленное выражение ( см. [ 16, с. Мы же хотим сохранить возможность одновременной подстановки определенных предметных значений вместо переменных С и У, поскольку именно такая подстановка ( определение С и У) осуществляется при конкретном выполнении человеком психологических операций. В этом состоит один из интуитивных смыслов использования аксиомы 1 для задания множества X. [48]
Реляционное исчисление основано на логике предикатов. Реляционное исчисление было предложено Коддом одновременно с реляционной алгеброй. [49]
Модели, основанные на логике предикатов, используются в понятии исчисления предикатов. Суть заключается в следующем: взаимосвязи между различными объектами описываются с помощью предикатов. [50]