EN | HE
NET: ONLINE
XP: 0 | RANK: INITIATE
XP: 0 | RANK: INITIATE
LOGIC
Dr. Igor Kleiner
WEEK 03
PROGRESS: 0 / 6
SEMANTICS
[ACTIVE SESSION]
SUMMARY // WHAT WE LEARNED
- ๐ง Semantics: Moving from syntax to meaning. We explored how to assign truth values to logical formulas.
- ๐ Models: Understanding truth assignments (models) and how they determine the overall truth value of a proposition.
- ๐ Truth Tables: Using truth tables as a systematic tool to evaluate formulas across all possible models.
- โ๏ธ Tautology & Contradiction: Classifying formulas based on their truth valuesโalways true (tautology), always false (contradiction), or contingent.
SLIDES