Elektronický vzedálací materiál
-
Funkcie
-
Rovnice a nerovnice
-
Dôkazy
-
Výroková logika
-
Stereometria
-
Planimetria
-
Vektory
-
Komplexné čísla
-
Kombinatorika
-
Pravdepodobnosť
-
Štatistika
Nepriamy dôkaz
- Pri nepriamom dôkaze vytvárame obmenu pôvodného výroku
- Ak pôvodný výrok je: A=>B Tak obmena tohto výroku vyzerá nasledovne: B´=>A´
- Keďže obmena má rovnakú pravdivostnú hodnotu ako pôvodný výrok, tak jej dokázaním dokážeme aj pôvodné tvrdenie
- Obmena v praxi môže vyzerať takto:
- Pôvodný výrok: 5/n2+6 => 5∤n
- Obmena výroku: 5/n => 5∤n2+6
- Pri nepriamom dôkaze nepočítame s párnym a nepárnym n ako pri priamych dôkazoch ale použijeme také n aké potrebujeme
- Pri uvedenom výroku by to vyzeralo nasledovne: 5/n z čoho vyplýva n = 5k
- Pre lepšie pochopenie sa opäť môžte obrátiť na moje video alebo maTYkára