30. Бірінші реттік предикаттарды есептеудің екінші реттік предикаттарды есептеуден айырмашылығы a) Логикалық модельге негізделген қазіргі ЖИ жүйелер бірінші реттік предикаттарды есептеу
b) элементар конъюнкция, оған ортаның күйін анықтайтын айнымалылардың әрқайсысы бір рет кіреді
c) Кванторлардың бар болуы, және аргумент ретінде айнымалылармен және айтылулармен операциялар жасау мүмкіндігі
d) бірінші реттік предикаттарды есептеуде біз кванторларды айнымалылар үстіне қоямыз, ал екінші реттік предикаттарды есептеуде біз кванторларды қатынастар (яғни предикаттар) үстіне орналастырамыз
