The inductive mode is the exact reverse operation and it’s utilized when we have to estimate the premises that result in a given proof. Taking the example above, if we assume that Socrates is actually a mortal, it turns out that it’s potential that he is a person. It is possible however we can’t be sure that it is truly the case. It is the job of the LP system to deal with meta-rules and facet cases through the execution. Abduction and induction are easy mechanisms yet omnipresent. Being able to establish whether we’re utilizing one of them makes it simpler to know how to find the weak points and to better justify our arguments.