Mathematical Logic 2026 Summer

Location: H3201

Time: Jul. 13-Aug. 6, Every Mon. Tue. Thu. 13:00-15:35

Slides 01 Slides 02 Slides 03 Slides 04 Slides 05 Slides 06 Slides 07 Slides 08 Slides 09 Slides 10 Slides 11

Submit your Logic Translation Homework: https://logic.fudan.edu.cn/logictranslation

Final Exam:

• Form: Closed-book
• Location: H3201
• Time: 13:30 – 15:30 (2 hours), Aug. 6

Some LaTeX Logic Symbols

• \(\neg\)：\neg or \lnot
• \(\vee\)：\vee or \lor
• \(\wedge\)：\wedge or \land
• \(\rightarrow\)：\rightarrow or \to
• \(\leftrightarrow\)：\leftrightarrow
• \(\forall\)：\forall
• \(\exists\)：\exists