در این جلسه مثال‌هایی از مباحث زیرمجموعه، عضو بودن، و مجموعه نامتناهی را حل می‌کنیم و پس از آن به بررسی و اثبات ویژگی‌های زیرمجموعه،‌ قانون شرطی،‌ گزاره همیشه درست،‌ تهی، ترکیب شرطی و انتفای مقدم، می‌پردازیم.