中专逻辑用语通常包括以下内容：
命题 ：用语言、符号或式子表达的，可以判断真假的陈述句。真命题的判断为真，假命题的判断为假。逻辑联结词
`p或q （p∨q）`：表示p和q中至少有一个为真时，整个命题为真。
`p且q （p∧q）`：表示p和q都为真时，整个命题为真；只要p或q中有一个为假，整个命题为假。
`非p （¬p）`：对命题p全盘否定，即如果p为真，则¬p为假；如果p为假，则¬p为真。
充分条件、必要条件、充要条件
如果p是q的充分条件，那么p发生时q一定发生；
如果p是q的必要条件，那么q发生时p一定已经发生；
如果p既是q的充分条件也是必要条件，那么p发生时q一定发生，q发生时p也一定已经发生，这种情况称为p是q的充要条件。
全称量词和存在量词
全称量词：表示“对于所有”，如“对于所有的x，P（x）成立”。
存在量词：表示“存在某个”，如“存在某个x，使得P（x）成立”。
集合论中的基本概念
集合：
一些能够确定的对象看成一个整体，这个整体由这些对象全体构成的集合。
交集 （A∩B）：由同时属于集合A和B的所有元素构成的集合。
并集 （A∪B）：由属于集合A或B的所有元素构成的集合。
逻辑学中的基本概念
辩证逻辑：研究事物发展变化的逻辑规律。
形式逻辑：研究有效推理的逻辑规律。
传统演绎逻辑：从一般到特殊的推理方法。
传统归纳逻辑：从特殊到一般的推理方法。
这些逻辑用语是中专数学和逻辑课程中的基础内容，理解和掌握它们对于后续的学习非常重要。
