Haladó szintre hozó kurzus/1
A MathWikiből
(Változatok közti eltérés)
Mozo (vitalap | szerkesztései) (→Kijelentéslogika) |
Mozo (vitalap | szerkesztései) (→Kijelentéslogika) |
||
10. sor: | 10. sor: | ||
'''2. ''' Igazoljuk igazságtáblázattal, hogy alább a ≡ két oldalán álló kifejezés mindig ugyanolyan igazságértékű! | '''2. ''' Igazoljuk igazságtáblázattal, hogy alább a ≡ két oldalán álló kifejezés mindig ugyanolyan igazságértékű! | ||
− | :a) <math>\neg(p\Rightarrow q)\quad \equiv\quad [(\neg q)\Rightarrow (\neg p)]</math> (a kontrapozíció szabálya) | + | :a) <math>\neg(p\Rightarrow q)\quad \equiv\quad [(\neg q)\Rightarrow (\neg p)]\qquad</math> (a kontrapozíció szabálya) |
− | :b) <math>(p\Rightarrow q)\quad\ | + | :b) <math>(p\Rightarrow q)\quad \equiv\quad (\neg p)\vee q</math> (a "ha-akkor" jellemzése "vagy"-gyal és "nem"-mel) |
− | :c) <math>\neg (p\vee q)\quad\ | + | :c) <math>\neg (p\vee q)\quad \equiv\quad (\neg p)\wedge (\neg q)\qquad</math> (De-Morgan-szabály) |
− | :d) <math>\neg (p\wedge q)\quad\ | + | :d) <math>\neg (p\wedge q)\quad \equiv\quad (\neg p)\vee (\neg q)\qquad</math> (De-Morgan-szabály) |
A lap 2016. június 28., 21:10-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ály)
- d) (De-Morgan-szabály)
Haladó szintre hozó | 2. téma |