این استدلال یک مثال از استدلال معتبر حالت تأیید فرض است. در منطق گزاره‌ای، اگر گزاره "اگر باران ببارد، زمین مرطوب می‌شود." صحیح باشد و مقدم آن (باران می‌بارد) رخ دهد، نتیجه (زمین مرطوب است) نیز باید رخ دهد. در اینجا هر دو مقدمه‌ی "باران می‌بارد" و نتیجه "زمین مرطوب است" منطقی و متصل هستند، بنابراین استدلال معتبر است.
