Which notion of implication is the right one? From logical considerations to a didactic perspective · Study