tweede orde predikatenrekening

Betekenis tweede orde predikatenrekening

De betekenis van tweede orde predikatenrekening is: "vorm van logica die gebruikt wordt voor het afbeelden van kennis en het maken van gevolgtrekkingen, en die in aanvulling op de eerste orde logica wel gebruik maakt van variabelen voor het representeren van predikaten
".

Defenitie tweede orde predikatenrekening

De definitie van tweede orde predikatenrekening is: "vorm van logica die gebruikt wordt voor het afbeelden van kennis en het maken van gevolgtrekkingen, en die in aanvulling op de eerste orde logica wel gebruik maakt van variabelen voor het representeren van predikaten
".