Haladó szintre hozó kurzus/1
A MathWikiből
(Változatok közti eltérés)
Mozo (vitalap | szerkesztései) (→Halmazok) |
Mozo (vitalap | szerkesztései) (→Halmazok) |
||
17. sor: | 17. sor: | ||
==Halmazok== | ==Halmazok== | ||
− | ''3.''' Tudva hogy: | + | '''3.''' Tudva hogy: |
:<math>A\cup B=_\mathrm{def}\{x\mid x\in A \vee x\in B\}</math> | :<math>A\cup B=_\mathrm{def}\{x\mid x\in A \vee x\in B\}</math> | ||
:<math>A\cap B=_\mathrm{def}\{x\mid x\in A \wedge x\in B\}</math> | :<math>A\cap B=_\mathrm{def}\{x\mid x\in A \wedge x\in B\}</math> | ||
:<math>A\subseteq B\Leftrightarrow_\mathrm{def}\mbox{ minden }x\mbox{-re } x\in A \Rightarrow x\in B</math> | :<math>A\subseteq B\Leftrightarrow_\mathrm{def}\mbox{ minden }x\mbox{-re } x\in A \Rightarrow x\in B</math> | ||
+ | :<math>A= B\Leftrightarrow_\mathrm{def} A\subseteq B\;\wedge\;B\subseteq A</math> | ||
+ | igazoljuk, hogy | ||
A lap 2016. június 28., 20:25-kori változata
- 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
Haladó szintre hozó | 2. téma |