1. 
   tweede orde predikatenlogica
   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
   Gevonden op http://www.mijnwoordenboek.nl/vertaal/NL/NL/tweede%orde%predikatenlogica
   
   
2. 
   tweede orde predikatenlogica
   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
   Gevonden op http://www.woorden-boek.nl/woord/tweede orde predikatenlogica
   
   

Tip: dubbelklik op een woord om de definities daarvan te zien.