用推理的方法,判斷為正確的命題叫做_______．

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

如果題設成立,不能保證_______總是正確的命題是假命題．

已知：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，∴∠________=∠________．