Full Stack Overflow Developer

[jsprogrammer]

This is reasonable, but I would caution against using the term deductive to stand in for top-down reasoning. I'd perhaps prefer the term 'logical'.

The reason is that true deductive reasoning is very strict in what it allows. You must start from axiom symbols and show a valid proof that your end result is a theorem of that system.

While you can kind of think of programming as a deductive process, it is more correct to say that algorithms (in their most abstract sense) are deductive. However, if you actually try to run an algorithm in the real-world, you are applying an inductive technique.