Wykazywanie zbiorów oax: Nigdy tego nie robiłem, a nie wiem czy do końca taki zapis jest odpowiedni. Wykazać, że <2,5>U<3,7>=<2,7> {x∊R : 2≤x≤5} ⇒ ( to ma być, że z obu wynika ) x∊<2,5>U<3,7>⇒ x∊<2,7> {x∊R : 3≤x≤7} Czy jest to poprawnie udowodnione ? Zadanie z książki "Analiza matematyczna w zadaniach" Krysicki, Włodarski.

Trivial: To takie rzeczy się dowodzi? Ja myślałem, że to z definicji wiadomo.

oax: Dla mnie jest to takie oczywiste, że aż dziwi mnie, że trzeba udowadniać . Dobrze chociaż jest to zrobione ?

Trivial: Nie mam pojęcia. Jak dla mnie, to jest to dowód definicji, przy użyciu definicji...

M4ciek: Właśnie też mnie to zastanawiało jak czytałem tam o tych zbiorach

Basia: T − prawda; F − fałsz dowód: x∊<2,5>∪<3,7> ⇔ (x≥2 ∧ x≤5) ∨ (x≥3 ∧ x≤7) ⇔ (x≥2 ∨ x≥3) ∧ (x≥2 ∨ x≤7) ∧ (x≤5 ∨ x≥3) ∧ (x≤5 ∨ x≤7) ⇔ x≥2 ∧ (x≥2 ∨ x≤7) ∧ (x≥3 ∨ x≤5) ∧ x≤7 ⇔ x≥2 ∧ (x∊R) ∧ (x∊R) ∧ x≤7 ⇔ x≥2 ∧ T ∧ T ∧ x≤7 ⇔ x≥2 ∧ x≤7 ⇔ x∊<2,7> stąd: <2,5>∪<3,7> = <2,7> ot takie ćwiczonko z logiki i rachunku zdań oczywiście, że normalnie nikt tego nie dowodzi