این متن به مفهوم استدلال وارونه میپردازد.
در این مثال:
1. اگر باران بیاید (\( p \))، زمین خیس میشود (\( q \)).
2. زمین خیس است (\( q \)).
نتیجه میگیرد که:
3. پس باران باریده است (\( p \)).
این نوع استدلال به عنوان "وارونه" شناخته میشود و در منطق معتبر نیست. زیرا ممکن است عوامل دیگری نیز باعث خیس شدن زمین شوند (مثلاً آبپاشی کردن).
بنابراین، استدلال نادرست است.