تعلم المنطق والاستدلال الصوري

ابدأ بالأدلة التعليمية. فهي مرتّبة كمسار قراءة لا ترتيبًا أبجديًا، وتعرض الصفحة الرئيسة لكل دليل رقم خطوته والمستوى الذي يفترضه. وإذا أخبرت الموقع بمقدار ما تعرفه من المنطق انتقلت نقطة انطلاقك إلى أول دليل في ذلك المستوى؛ أما ما قبله فيبقى في الفهرس بوصفه قراءة تمهيدية.

هي تبيّن مقدار ما يفترضه الدليل عندك من معرفة سابقة بالمنطق، لا مدى صعوبة قراءته. ومسار القراءة لا يرجع أبدًا إلى الوراء بين هذه المستويات، فبعد اختيار مستواك تستطيع القراءة قُدُمًا من نقطة انطلاقك دون أن تصادف دليلًا يقوم على دليل تخطّيته.

نعم، في هذا المتصفّح. فوسم دليل بأنه مقروء يُحدّث عدّاد التقدّم في الفهرس واقتراح «التالي» في نهاية كل دليل، وهو يشير إلى أول دليل بعد هذا لم تقرأه بعد. ولا يُرسَل شيء إلى أي جهة، ومسح بيانات الموقع يعيد ذلك من جديد.

اقرأ من الدليل ما يكفي لتتعرّف على الترميز، ثم تدرّب. فالتمارين مجمّعة حسب الموضوعات نفسها التي تتناولها الأدلة، والإيقاع المعتاد هو دليل، ثم تمارين من تلك الفئة، ثم الدليل التالي حين تبدأ الإجابات تأتيك بسهولة.

يركّز منطق القضايا على العلاقات بين القضايا باستخدام المعاملات المنطقية، بينما جبر بول بنية رياضية تتعامل مع القيم الثنائية (صادق/كاذب أو 1/0). وهذه الآلة الحاسبة تدعم الاثنين، وكلاهما يستخدم معاملات متشابهة.