Analizați instrucțiunea de mai jos și determinați dacă este un argument valid. Explică-ți raționamentul.
Dacă plouă astăzi, atunci grădina va fi udată. Grădina nu este udată. Prin urmare, nu a plouat astăzi.
Da, acesta este un argument valid. Folosește forma logică cunoscută sub numele de modus tollens. Spațiile sunt: (1) Dacă plouă astăzi, atunci grădina va fi udată și (2) Grădina nu este udată. Din aceste două premise, putem deduce în mod valabil concluzia, (3) Nu a plouat astăzi. Argumentul urmează modelul: Dacă P, atunci Q; Nu Q; Prin urmare, nu P.