Логика второго порядка
Материал из Википедии — свободной энциклопедии
Логика второго порядка — расширяет логику первого порядка, позвoляя проводить квантификацию общности и существования не только над атомами, но и над предикатами.
Логика второго порядка не упрощается к логике первого порядка.
 |
Это незавершённая статья по математике. Вы можете помочь проекту, исправив и дополнив её. |
