tweede orde logica

Betekenis tweede orde logica

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

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