q表示“p当且仅当q”；“或者”可以用“∨”符号表示，如p∨q表示“p或q”；“且”可以用“∧”符号表示，如p∧q表示“p且q”。离散数学是一门数学分支，主要研究离散结构及其性质，包括集合、函数、关系、图论等等。在离散数学中，我们也会使用各种符号来表示数学概念和逻辑关系。