Haladó szintre hozó kurzus/2
A MathWikiből
(Változatok közti eltérés)
Mozo (vitalap | szerkesztései) (→Kvantorok) |
Mozo (vitalap | szerkesztései) (→Kvantorok) |
||
21. sor: | 21. sor: | ||
:a) <math>\emptyset\subseteq A</math> | :a) <math>\emptyset\subseteq A</math> | ||
− | :b) <math>A\cap B=A,</math> akkor és csak akkor, ha <math>A\ | + | :b) <math>A\cap B=A,</math> akkor és csak akkor, ha <math>A\subseteq B</math> |
− | :c) <math>A\cap B=A,</math> akkor és csak akkor, ha <math>B\ | + | :c) <math>A\cap B=A,</math> akkor és csak akkor, ha <math>B\subseteq A</math> |
:d) <math>\mathcal{P}(A\cap B)=\mathcal{P}(A)\cap \mathcal{P}(B)</math> | :d) <math>\mathcal{P}(A\cap B)=\mathcal{P}(A)\cap \mathcal{P}(B)</math> | ||
:e) <math>\mathcal{P}(A\cup B)=\mathcal{P}(A)\cup \mathcal{P}(B)</math> | :e) <math>\mathcal{P}(A\cup B)=\mathcal{P}(A)\cup \mathcal{P}(B)</math> |
A lap 2016. augusztus 8., 19:12-kori változata
- Ez az szócikk a Haladó szintre hozó szócikk alszócikke.
Kvantorok
1. Legyen (an) valós számsorozat, N természetes számok halmaza, [0,∞) a nemnegatív számoké. Igazak-e az alábbi következtetések?
- a)
- b)
- c)
- d)
2. Formalizáljuk az alábbi kifejezéseket és írjuk föl a negációjukat (tagadásukat).
- a) Minden tanyán van banya, aki tunya.
- b) Van olyan tanya, ahol van tunya banya.
- c) Ha minden tanyán van tunya banya, akkor van olyan banya, aki minden tanyán tunya.
- d) Mindenki szeret valakit.
- e) Mindenkit szeret valaki.
- f) Valakit mindenki szeret.
- g) Minden delegátus elhozta feleségét, vagy nem hozta el és jól érezte magát.
3. Legyen ∅ az üres halmaz (a halmaz, aminek egyetlen eleme sincs) és legyen A és B tetszőleges halmazok. Igazak-e az alábbiak és ha igen, igazoljuk, ha nem cáfoljuk.
- a)
- b) akkor és csak akkor, ha
- c) akkor és csak akkor, ha
- d)
- e)
1. téma | 3. téma |