用推理的方法,判断为正确的命题叫做_______．

如果题设成立,那么________一定成立的命题叫做真命题．

如果题设成立,不能保证_______总是正确的命题是假命题．

已知：BC是直线,∠1=∠4

求证：∠2=∠3.

证明：∵BC是一直线,(已知)

　　  ∴∠1+∠2=180°,∠3+∠4=180°(    )

　　  ∵∠2=180°-∠1,∠3=180°-∠4

　　  又∠1=∠4(已知)

　　  ∴∠2=∠3.

已知：∠ABC=∠ACB,BD、CE是角平分线.

求证：∠1=∠2.

已知：OB是∠AOC的平分线.

　　　　 OC是∠BOD的平分线.

求证：∠1=∠3.

证明：∵OB是∠AOC的平分线(已知)∴∠1=∠2(    )

　　  ∵OC是∠BOD的平分线(已知)∴∠2=∠3(    )

　　  ∴∠1=∠3

已知：AB⊥BC,BC⊥CD，∠2=∠3

求证：∠1=∠4.

证明：∵AB⊥BC,BC⊥CD(已知)

　　  ∴∠ABC=90°,∠BCD=90°(    )

　　  ∴∠ABC=∠BCD.

　　  ∵∠2=∠3(已知)

　　  ∴∠1=∠4.

已知AB⊥CD,求证：∠1=∠2.

证明：AB⊥CD(已知)

∴∠1=90°,∠2=90°(    )

∴∠1=∠2

如图，已知∠B=∠C，AE∥BC．求证：AE平分∠DAC．证明：∵AE∥BC，∴∠DAE=∠B(________)，∠EAC=∠C(________)．∵∠B=∠C，∴∠________=∠________．