Logika Kinga: W miejsce kropek mam wstawić jeden ze znaków: ⇒,⇐,⇔. Wydaje mi się, że jest to znak ⇔, ale nie wiem jak to uzasadnić. Ktoś ma pomysł? ∀x ∈ R ∀y ∈ R [(x + y)² ≤ 4) ⇒ (x + y) ≤ 2] . . . . . . . . . . . . ∀x ∈ R ∀y ∈ R (x + y)² ≤ 4 ⇒ ∀x ∈ R ∀y ∈ R (x + y) ≤ 2

Kinga: proszę o pomoc

ite: implikacja ⇒ prawdziwa (prawo rozkładania), dla tych zdań również jest prawdziwa implikacja odwrotna ⇐ w sumie równoważność