That "inverse proposition" is just the contrapositive: (a => b) <=> (¬b => ¬a). The inverse proposition would be that if you take a simple system that works an

That "inverse proposition" is just the contrapositive: (a => b) <=> (¬b => ¬a). The inverse proposition would be that if you take a simple system that works and evolve it into a complex system, the complex system will work.