Inverse modus ponens

Inverse modus ponens (IMP) is also an inference rule in EBR. The inverse in the definition is motivated by the fact that the inverse is defined in logic if- / then provided that ifp then q is given (Sun Finnie, 2004b). Based on this definition, the inverse of P Q is and... 

The last inference rule for EBR is inverse modus ponens with trick (fMPT). The difference between IMPT and inverse modus ponens is again with trick this is because the reasoning performer tries to use the trick of make a feint to the east and attack in the west — that is, he gets Q rather than in the inverse modus ponens. 

A second form of deception could arise in the MESC, if a seller agent does not offer goods at a price but the goods are in fact available at that price. This could arise if there are limited goods available and a seller wishes to preference another buyer (agent). This is referred to as inverse modus ponens with trick and takes the form ... 

Having obtained a possibility measure of the perfection of the calculation model then the truth of the statement that this possibility is high can simply be obtained by inverse truth functional modification. This is then used in the modus ponens deduction to obtain a truth of NPFR. This truth is a restriction on the fuzzy set P so a new fuzzy set P" can be obtained by truth functional modification. Another inverse truth functional modification gives us the truth that the notional probability of failure is low (i.e. v(NPF)). Finally, this is used in more modus tollens deductions to give a truth restriction upon the safety of the structure S. 

---