گزاره‌های شرطی
گزاره‌های «اگر... آنگاه» درباره‌ی یک پیوندند: هر وقت بخش «اگر» رخ دهد، بخش «آنگاه» هم رخ می‌دهد. چنین گزاره‌ای فقط وقتی شکسته می‌شود که بخش «اگر» درست و بخش «آنگاه» نادرست باشد - پس خیس بودن خیابان ثابت نمی‌کند که باران باریده است.
عمق 1 · پایه
می‌دانید که گزاره‌ی شرطی فقط وقتی شکسته می‌شود که بخش «اگر» رخ دهد و بخش «آنگاه» رخ ندهد؛ و می‌دانید که از «بخش آنگاه رخ نداد» نتیجه‌ای برمی‌آید، ولی از «بخش آنگاه رخ داد» نه.
وارد شوید تا با یک آزمون کوتاه نشان دهید چه می‌دانید، ببینید تا چه عمقی پیش رفته‌اید و امتیاز بگیرید.
ورود با گوگلعمقهای فهم
- 1
پایه
می‌دانید که گزاره‌ی شرطی فقط وقتی شکسته می‌شود که بخش «اگر» رخ دهد و بخش «آنگاه» رخ ندهد؛ و می‌دانید که از «بخش آنگاه رخ نداد» نتیجه‌ای برمی‌آید، ولی از «بخش آنگاه رخ داد» نه.
- 2
عمیق‌تر
می‌دانید که «اگر بخش آنگاه نباشد، بخش اگر هم نیست» (عکس نقیض) همان گزاره‌ی اصلی را می‌گوید، ولی عکس آن نه.
ابتدا بر عمق 1 مسلط شوید
مسیر شما تا اینجا
آنچه هنوز میان شما و گزاره‌های شرطی، عمق 1 است، به ترتیبی که می‌توانید بیاموزید.
جایگاه این مفهوم
این‌ها را عمیق‌تر می‌کند
وقتی گزاره‌های شرطی را بدانید، به این‌ها برگردید — معنای بیشتری خواهند داشت.
- اعتبارعمق 2صورتهای کلاسیک معتبر و نامعتبر از گزاره‌های «اگر... آنگاه» ساخته شدهاند - شرطیها را یاد بگیرید و برگردید.
- دستورهای شرطیعمق 2یک if در کد همان «اگر P آنگاه Q» در منطق است. دانستنِ منطق است که به شما اجازه می‌دهد شرطها را بیباگ برعکس و ترکیب کنید.
- پیشبینیعمق 2پیشبینی شکلِ «اگر این درست باشد، آنوقت آن پیش میآید» دارد.