|
(1) x<y ならば x−6<y−6 である.
|
|
(2) △ABC≡△DEF ならば ∠A=∠D,∠B=∠E,∠C=∠F である.
|
|
(3) 関数 y=3x−1 において x=1 ならば y=2 である.
|
|
(4) △ABCと△DEFについて AB=DE,∠A=∠D,∠B=∠E ならば △ABC≡△DEF である.
|
|
(5) △ABCについて ∠A+∠B=90°ならば ∠C=90°である.
|
|
(6) △ABC≡△DEF ならば ∠A=∠D,∠B=∠E,∠C=∠F である.
|
|
(7) 関数 y=3x−1 において x=1 ならば y=2 である.
|
|
(8) a=b ならば a+c=b+c である.
|