Fuzzy rules are used within fuzzy logic systems to infer an output based on input variables. Modus ponens and modus tollens are the most important rules of inference. A modus ponens rule is in the form
In crisp logic, the premise x is A can only be true or false. However, in a fuzzy rule, the premise x is A and the consequent y is B can be true to a degree, instead of entirely true or entirely false. This is achieved by representing the linguistic variables A and B using fuzzy sets. In a fuzzy rule, modus ponens is extended to generalised modus ponens:.
The key difference is that the premise x is A can be only partially true. As a result, the consequent y is B is also partially true. Truth is represented as a real number between 0 and 1, where 0 is false and 1 is true.