tweede orde predikatenlogica

Betekenis tweede orde predikatenlogica

De betekenis van tweede orde predikatenlogica 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 predikatenlogica

De definitie van tweede orde predikatenlogica 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
".