| Property | Value |
|---|
| rdfs:label | |
| rdfs:comment | - Логика второго порядка — расширяет логику первого порядка, позвoляя проводить квантификацию общности и существования не только над атомами, но и над предикатами. Логика второго порядка не упрощается к логике первого порядка.
|
| dcterms:subject | |
| dbkwik:ru.math/property/wikiPageUsesTemplate | |
| abstract | - Логика второго порядка — расширяет логику первого порядка, позвoляя проводить квантификацию общности и существования не только над атомами, но и над предикатами. Логика второго порядка не упрощается к логике первого порядка.
|
