formeel redeneren

Betekenis formeel redeneren

De betekenis van formeel redeneren is: "syntactisch manipuleren van gegevensstructuren, dat kunnen zinnen of beweringen zijn, ten einde nieuwe gegevensstructuren af te leiden volgens bepaalde afleidingsregels
".

Defenitie formeel redeneren

De definitie van formeel redeneren is: "syntactisch manipuleren van gegevensstructuren, dat kunnen zinnen of beweringen zijn, ten einde nieuwe gegevensstructuren af te leiden volgens bepaalde afleidingsregels
".