べき乗

指数の性質 指数の性質を考えます。 (仮定) (乗法律) ⊥ ¬(x<0∧0<y⇒0<x･y)(背理法) 0<x∨y<0⇒x･y<0(ド・モルガンの法則) 0<x∧0<y⇒0<x･y→0<x∨y<0⇒x･y<0(→導入)① 乗法律は「正と負...