deduktív szintézis

Rövid szöveges bemutatás: 
Deduktív szintézis során, először vennünk kell az elsőrendű logikai mondatot mint célt. Ezután végig vizsgáljuk, a mondathoz vezető bizonyítást és ebből fog előállni egy konkrét terv vagy program, mely ezt a bizonyítást megoldja.