I am working at some Fuzzy-Logic and I am having my problems with the inferece. While using the generalised modus ponens you are using this formula
μB'(y) := sup{min(μA'(x),min(μA(x),μB(y))) | x∈X} for y∈Y
My Question is, where is the Difference between the min/max Operators and the sup/inf Operators? Aren't they both just for finding the largest/smallest Value?