联结词

• 否定 $\neg$. !
• 合取 $\wedge$. &&
• 析取 $\vee$. ||
• 蕴含 $\to$. <=
• 等价 $\leftrightarrow$. ==