A= "piove"

B= "prendo l'ombrello"

A → B = "Se piove prendo l'ombrello"

B = Vero

(A → B)∧B non è Modus Ponens. Non è corretto dedurre che piove (vedi anche tavola della verità):

A B A → B (A → B)∧B
V V V V
F V V V
V F F F
F F V F