sprzeczność czy nie papaj: mamy sobie zalozenia: a,b,c ∊ R ∧ 0 < c < 1 ∧ a >= 0 ∧ b < 0 jezeli doszedlem (zalozmy ze poprawnie) do tego ze: c < (a/b) + 1 to czy wykazalem sprzecznosc z zalozeniem? mialo dzialac dla kazdego c z przedzialu (0,1) i a,b rzeczywistych a dziala tylko dla c < (a/b) + 1

Adamm: a,b,c∊R ∧ 0<c<1 ∧ a≥0 ∧ b<0 zauważ że a,b ∊R ale a∊R₊u{0}, b∊R₋ zakładając że c<(a/b)+1 jest prawdą to np. dla a=−b mamy c<0, co już jest sprzeczne

Adamm: poza tym, nie wskazałeś czy a,b,c są dowolne, czy ma zachodzić to dla każdego a,b,c pytanie jest niejasne