 A confidence counterpart formula_46 of the implication connective may in fact be defined directly as the residuum of the t-norm.The logical link between conjunction and implication is provided by something as fundamental as the inference rule modus ponens formula_47