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 |