گزاره‌نما، زیرمجموعه‌ها و قوانین مجموعه‌ها
گزاره و گزاره‌نما را از هم جدا کن، مجموعهٔ جواب یک گزاره‌نما را بساز، تعداد زیرمجموعه‌ها را بشمار و قوانین توزیع‌پذیری و جذب را روی نمودار ون هاشور بزن.
- ایران: پایهٔ ۱۱
- فلسطین: صنف ۱۱
- روسیه: صنف ۸
این کارگاه هنوز به دری ترجمه نشده و به فارسی ایران نشان داده می‌شود.
رهنما
این کارگاه برای فصل اول کتاب «آمار و احتمال» پایهٔ یازدهم است: «گزاره‌نما» و «جبر مجموعه‌ها».
جمله‌ای که یک متغیر دارد، مثل x + ۲ > ۵، تا وقتی به x مقدار ندهیم درست یا نادرست نیست؛ به آن گزاره‌نما می‌گویند. مجموعهٔ مقدارهایی که برای x می‌توان گذاشت، دامنهٔ متغیر است. اگر هر مقدار دامنه را بگذاریم، یک بیان درست یا نادرست به دست می‌آید.
مجموعه‌ای با n عضو ۲n زیرمجموعه دارد: هر عضو یا در زیرمجموعه هست یا نیست. A ⊆ B یعنی هر عضو A عضو B هم هست. برای اثبات، یک عضو دلخواه x از A برمی‌داریم و نشان می‌دهیم x در B هم هست. دو مجموعه وقتی مساوی‌اند که هر کدام زیرمجموعهٔ دیگری باشد.
برای قوانین (مثل توزیع‌پذیری) دو طرف تساوی را جداگانه روی نمودار ون هاشور می‌زنیم و می‌بینیم ناحیه‌ها یکی است.