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) |
||
9. sor: | 9. sor: | ||
:d) <math>[(p\Rightarrow r) \wedge (q\Rightarrow r)\wedge (p\vee q)]\Rightarrow r</math> (az esetszétválasztás szabálya) | :d) <math>[(p\Rightarrow r) \wedge (q\Rightarrow r)\wedge (p\vee q)]\Rightarrow r</math> (az esetszétválasztás szabálya) | ||
:e) <math>\neg(p\Rightarrow q)\Rightarrow [(\neg q)\Rightarrow (\neg p)]</math> (a kontrapozíció szabálya) | :e) <math>\neg(p\Rightarrow q)\Rightarrow [(\neg q)\Rightarrow (\neg p)]</math> (a kontrapozíció szabálya) | ||
− | :f) <math> | + | :f) <math>(p\Rightarrow q)\;\Leftrightarrow \;(\neg p)\vee q</math> (a "ha-akkor" jellemzése "vagy"-gyal és "nem"-mel) |
+ | :g) <math>\neq (p\vee q)\;\Leftrightarrow \;(\neg p)\wedge (\neg q)</math> (De-Morgan-szabály) | ||
+ | :h) <math>\neq (p\wedge q)\;\Leftrightarrow \;(\neg p)\vee (\neg q)</math> (De-Morgan-szabály) | ||
+ | |||
A lap 2016. június 28., 21:05-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)
- e) (a kontrapozíció szabálya)
- f) (a "ha-akkor" jellemzése "vagy"-gyal és "nem"-mel)
- g) (De-Morgan-szabály)
- h) (De-Morgan-szabály)
Haladó szintre hozó | 2. téma |