En el caso de L, la única regla de inferencia es el modus ponens, el cual dice: