Haladó szintre hozó kurzus/1
A MathWikiből
A lap korábbi változatát látod, amilyen Mozo (vitalap | szerkesztései) 2016. június 28., 21:34-kor történt szerkesztése után volt.
- Ez az szócikk a Haladó szintre hozó szócikk alszócikke.
Kijelentéslogika
1. Igazoljuk igazságtáblázattal, hogy a következő kijelentések mindig igazak:
- a) (a "vagy" alaptulajdonsága)
- b) (a "hamisból" minden következik)
- c) (az "igaz" mindenből következik)
- d) (az esetszétválasztás szabálya)
2. Igazoljuk igazságtáblázattal, hogy alább a ≡ két oldalán álló kifejezés mindig ugyanolyan igazságértékű!
- a) (a kontrapozíció szabálya)
- b) (a "ha-akkor" jellemzése "vagy"-gyal és "nem"-mel)
- c) (De-Morgan-szabályok)
- d) (disztributív szabályok)
Halmazok
3. Tudva hogy:
igazoljuk, hogy
- a)
- b)
- c)
Halmazok Boole-algebrája
4. Felhasználva, hogy
- illetve
- (ahol H-ra vonatkozik a komplementerképzés)
igazolja, hogy minden A, B, C halmazra
- a)
- b)
- c)
5. Legyen A, B és C tetszőleges halmaz, továbbá legyen
- és
Vizsgáljuk meg, hogy melyik tartalmazás áll fenn!
Haladó szintre hozó | 2. téma |