底

指数の性質 指数の性質を考えます。 (仮定) ⊥(正と負の乗法) ¬(x<0∧0<y→0<xy)(背理法) ¬(¬(x<0∧0<y)∨0<x･y)(→言い換え) ¬(0<x∨y<0)→x･y<0(ド・モルガンの法則) x<0∧0<y→x･y...