Zapisz negacje
michalllll: Zapisz negację stosując kolejno znane prawa (zacytuj je)
~(∀ε>0 ∃δ>0 ∀x [|x−x0|<δ⇒|f(x)−f(x0)|<ε])⇔...
Chodzi o prawa np. kontrapozycji, wyłączonego środka itp.
12 lis 22:16
michalllll: Nie jestem pewien ale doszedłem do czegoś takiego ∃ε>0 ∀δ>0 ∃x [|x−x0|<δ⇒|f(x)−f(x0)|>ε
1) zaprzeczenie kwantyfikatora ogólnego
2) zaprzeczenie kwantyfikatora szczegółowego
3) zaprzeczenie kwantyfikatora ogólnego
4) prawo zaprzeczenia implikacji
Może ktoś to sprawdzić ?
12 lis 22:52