WEEK 02

PROGRESS: 0 / 13

FOUNDATION // INTRODUCTION TO LOGIC [ACTIVE SESSION]

SUMMARY // WHAT WE LEARNED

🎯 Motivation & Language: Why do we need formal logic? We explored the motivation behind creating a precise mathematical language without ambiguity.
📜 Propositions (פסוק): We learned what constitutes a valid logical formula (Pasuk) and the strict structural rules that define it.
🏗️ Construction Sequence: How to build complex formulas step-by-step using a proper construction sequence (סדרת בנייה).
🗣️ Translation: How to convert ambiguous human language into precise mathematical symbols.

SLIDES

OTHER MATERIALS