rownanie kar: x²−6x >= 0

dero2005: x²−6x≥0 x(x−6)≥0 x₁≥0 x−6≥0 x₂≥6 x ≥ 6

Basia: dero a ile to jest −10*(−16) ? albo 0*(−6) ? albo −1*(−7) ? iloczyn liczb ujemnych też jest dodatni, zero * ujemna = 0 [ x≥ 0 ∧ x−6≥0 ] ∨ [ x≤0 ∧ x−6≤0 ] ⇔ [x≥6 ∨ x≤0] ⇔ x∊(−∞;0]∪[6;+∞)

dero2005: Basia tego jeszcze nie przerabialiśmy