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