Note 1: Propositional & First-Order Logic

🚧 施工中

1. Propositional Logic (命题逻辑)

• Propositions
• Logical Operators (AND, OR, NOT, IMPLIES)
• Truth Tables

2. First-Order Logic (一阶逻辑)

• Quantifiers ($\mathrm{\forall }$, $\mathrm{\exists }$)
• Negation of Quantifiers