Evaluați validitatea următorului argument: Dacă plouă, atunci port o umbrelă. Nu port o umbrelă, așa că nu plouă.
Argumentul este valid. Este un exemplu de formă logică numită „modus tollens”: Dacă P, atunci Q. Nu Q. Prin urmare, nu P.