nierówność z logarytmem naturalnym firki: ln(x−3)≠0 jak to rozwiązać?

pigor: ..., np. tak ln(x−3)≠ 0 ⇔ x−3 >0 i x−3≠ e⁰ ⇔ x >3 i x≠ 3+1 ⇔ x∊ (3;+∞) \ {4}.

J: ln(x−3) ≠ 0 nie jest równoważne z tym , że x − 3 > 0 ...

PW: Bronię pigora − w syntetycznym zapisie zawarł również dziedzinę nierówności. Gdyby było ⇔ (x−3>0 ⋀ x−3≠e⁰), to pewnie byś nie protestował.

J: ..o tak.