高考逻辑用语主要包括以下几种：

充分条件与必要条件

充分条件：若 $p Rightarrow q$，则 $p$ 是 $q$ 的充分条件，$q$ 是 $p$ 的必要条件。

必要条件：若 $q Rightarrow p$，则 $p$ 是 $q$ 的必要条件，$q$ 是 $p$ 的充分条件。

充要条件：若 $p Leftrightarrow q$，则 $p$ 是 $q$ 的充要条件，$q$ 是 $p$ 的充要条件。

充分不必要条件

若 $p Rightarrow q$ 且 $q nRightarrow p$，则 $p$ 是 $q$ 的充分不必要条件。

必要不充分条件

若 $q Rightarrow p$ 且 $p nRightarrow q$，则 $p$ 是 $q$ 的必要不充分条件。

既不充分也不必要条件

若 $p nRightarrow q$ 且 $q nRightarrow p$，则 $p$ 是 $q$ 的既不充分也不必要条件。

全称量词与存在量词

全称量词：$forall$（所有的、任意一个）。

存在量词：$exists$（存在一个、至少有一个）。

命题逻辑

命题：一个可以判断真假的陈述句。

逆否命题：若 $p Rightarrow q$，则其逆否命题为 $neg q Rightarrow neg p$。

谓词逻辑

谓词：描述集合中元素性质的数学表达式。

量词：用于量化谓词的范围，如全称量词和存在量词。

这些逻辑用语在高考数学中非常重要，尤其是在解答逻辑推理题和证明题时。掌握这些基本概念和用法，可以帮助考生更好地理解和分析题目，提高解题的准确性和效率。