automatisch bewijzen van theorema`s

Betekenis automatisch bewijzen van theorema`s

De betekenis van automatisch bewijzen van theorema`s is: "een methode waarbij een theorema wordt bewezen, bijvoorbeeld door het gebruik van deductieve logica
een werkmethode voor het automatisch genereren van bewijzen
".

Defenitie automatisch bewijzen van theorema`s

De definitie van automatisch bewijzen van theorema`s is: "een methode waarbij een theorema wordt bewezen, bijvoorbeeld door het gebruik van deductieve logica
een werkmethode voor het automatisch genereren van bewijzen
".