? kontinek: Zapisz symbolicznie(logika): Warunkiem koniecznym na to, by n² dzieliło m² jest to, że n dzieli m.

Przemysław: Np tak: n²|m²⇒n|m

Przemysław: Albo jakoś tak sobie popodstawiać: n² dzieli m² − p n dzieli m − q p⇒q

kontinek: Dziękuję, a tu jak będzie? Warunkiem koniecznym i wystarczającym na to, by x+y≤xy jest x, y≥­2

pigor: ..., (x+y ≤ xy ⇒ (x ≥2 ⋀ y ≥2)) ∧ ( (x ≥2 ⋀ y ≥2) ⇒ x+y ≤ xy) a to samo, ale krótko tak : x+y ≤ xy ⇔ (x ≥2 ⋀ y ≥2) . ...