(1)一般地，用p和q分别表示原命题的条件和结论，用和分别表示p和q的否定，于是四种命题的形式就是:?

原命题:若p则q(p　q);?

否命题:若　　　　　则　　　　　(　　　　　);?

逆命题:若　　　　　则　　　　　(　　　　　)；?

逆否命题:若　　　　　则　　　　　(　　　　　).?

(2)四种命题的关系?

  ?

注意:①一个命题和它的逆否命题同真假，而与它的其他三个命题的真假无此规律.?

②要严格区别命题的否定与否命题之间的差别.?

对一个命题进行否定，就要对正面叙述的词语进行否定，而否命题既否定条件又否定结论.例如，原命题“若∠A=∠B，则a=b”的否定形式为“若∠A=∠B，则a≠b”，而其否命题则为“若∠A≠∠B，则a≠b”.?

(3)反证法?

①定义:　　　　　　　　　　.?

②使用反证法的条件.?

(ⅰ)直接证困难较大时;?

(ⅱ)当待证命题的结论中出现“不可能”“不是”“至少”“至多”“唯一”等限制性很强的条件时.?

③一般步骤:?

(ⅰ)　　　　　　　　　　;?

(ⅱ)　　　　　　　　　　.

给出下列四个命题：

①已知x、y为实数，则x²≠y²x≠y且x≠-y；

②如果P、q都是r的必要条件，s是r的充分条件，q是s的充分条件，则P是q的充分但不必要条件；

③设平面内有△ABC，且P表示平面内的点，则{P|PA=PB}∩{P|PA=PC}={P是△ABC的垂心}；

④如果用P,q分别表示原命题“梯形的四条边不全相等”的条件和结论，那么该原命题的“若
q，则P”的形式的命题为：“四条边完全相等的四边形不是梯形”.上述命题中正确命题的序号为

A.①③                  B.②④               C.①④                     D.②③

指出下列命题的条件和结论.

(1)若l∥m,m∥n,则l∥n;

(2)等腰三角形是等边三角形.

指出下列命题的条件和结论.

(1)对顶角相等;

(2)四边相等的四边形是菱形;

(3)实数的平方是正数.

平面内有向量

OA

=（1，7），

OB

=（5，1），

OP

=（2，1），点X为直线OP上的一个动点．
（1）当

XA

•

XB

取最小值时，求

OX

的坐标；
（2）当点X满足（1）的条件和结论时，求cos∠AXB的值．