§1.2．常用逻辑用语一、知识导学1．逻辑联结词：“且”、“或”、 “非”分别用符号“ ”“ ”“ ”表示.2．命题：能够判断真假的陈述句． 3．简单命题：不含逻辑联结词的命题4．复合命题：由简单命题和逻辑联结词构成的命题，复合命题的基本形式：p 或 q；p 且 q；非 p5．四种命题的构成：原命题：若 p 则 q； 逆命题：若 q 则 p；否命题：若p 则q ；逆否命题：若q 则p.6．原命题与逆否命题同真同假，是等价命题，即“若 p 则 q”“若q 则p ” .7．反证法：欲证“若 p 则 q”，从“非 q”出发，导出矛盾，从而知“若 p 则非 q”为假，即“若 p 则 q”为真 . 8．充分条件与必要条件 ：①pq ：p 是 q 的充分条件；q 是 p 的必要条件； ②pq ：p 是 q 的充要条件 . 9．常用的全称量词：“对所有的”、“ 对任意一个”“ 对一切”“ 对每一个”“任给”等；并用符号“ ” 表示.含有全称量词的命题叫做全称命题.10．常用的存在量词：“存在一个”、“至少有一个”、“有些”、“有一个”、 “有的”、“对某个”； 并用符号“”表示.含有存在量词的命题叫做特称命题.二、疑难知识导析1．基本题型及其方法 （1）由给定的复合命题指出它的形式及其构成；（2）给定两个简单命题能写出它们构成的复合命题，并能利用真值表判断复合命题的真假；（3）给定命题，能写出它的逆命题、否命题、逆否命题，并能运用四种命题的相互关系，特别是互为逆否命题的等价性判断命题的真假.注意：否命题与命题的否定是不同的.（4）判断两个命题之间的充分、必要、充要关系； 方法：利用定义（5）证明 p 的充要条件是q ；方法：分别证明充分性和必要性（6）反证法证题的方法及步骤：反设、归谬、结论.反证法是通过证明命题的结论的反面不成立而肯定命题的一种数学证明方法，是间接证法之一.注：常见关键词的否定：关键词是都是（全是）（）至少有一个至多有一个任意存在否定不是不都是（全是）（）一个也没有至少有两个存在任意2．全称命题与特称命题的关系：全称命题 p:)(,xpMx ,它的否定p:)(,xpMx；特称命题 p:)(,xpMx ,它的否定p:)(,xpMx；即全称命题的否定是特称命题，特称命题的否定是全称命题.否定一个全称命题可以通过“举反例”来说明.三、经典例题导讲1[例 1] 把命题“全等三角形一定相似”写成“若 p 则q”的形式，并写出它的逆命题、否命题...
