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

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

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