Innoduction is a kind of logical inference that has been identified as pertinent to innovative design.
Innoduction can be distinguished by its form of modus ponens: $q; p \Rightarrow q, p$
This is noted in [Eek00] as essential for innovative design, and it “presupposes intuition.”
Notice there are two conclusions and only one premise. Intuition is alleged to be that which fills the gap between the premise and the conclusions.
However, I think this argument is flawed for two reasons:
With respect to the 1st reason, it may be simply a search through known principles, ideas, and other designs - possibly/probably aided by analogical reasoning.
With respect to the 2nd reason, consider these steps: