dan/notes
1
0
Fork 0
mirror of https://github.com/danbulant/notes synced 2026-06-24 17:11:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'main' of github.com:danbulant/notes

Browse source
This commit is contained in:
Daniel Bulant 2021-11-12 10:47:21 +01:00
commit 1ae3046150
2 changed files with 9 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
notes/.obsidian/plugins/obsidian-activity-history/data.json vendored
View file

@ -13,7 +13,7 @@
{ {
"path": "/", "path": "/",
"date": "2021-11-12", "date": "2021-11-12",
"size": 188878 "size": 189373
} }
], ],
"activityHistory": [ "activityHistory": [
@ -170,7 +170,7 @@
}, },
{ {
"date": "2021-11-12", "date": "2021-11-12",
"value": 6207 "value": 6702
} }
] ]
} }

9
notes/mat/Výroková logika.md
View file

@ -20,10 +20,15 @@
## Implikace ## Implikace
Implikace libovolných prvků $a$, $b$ je výrok, který vznikne jejich spojením slovním obratem **jestliže, pak**, píšeme $a \Rightarrow b$, a čteme **jestliže** $a$, **pak** $b$. Implikace libovolných prvků $a$, $b$ je výrok, který vznikne jejich spojením slovním obratem **jestliže, pak**, píšeme $a \Rightarrow b$, a čteme **jestliže** $a$, **pak** $b$.
### Obrácená implikace
$a \Rightarrow b$ -> $b \Rightarrow a$
není ekvivalentní
### Obměnná implikace
$a \Rightarrow b$ -> $\neg b \Rightarrow \neg a$
je ekvivalentní
## Ekvivalence ## Ekvivalence
Pokud a je stejné jako b. Pokud a je stejné jako b.
$a \iff b$ $a \iff b$
## Příklad ## Příklad
$(a \wedge b) \Rightarrow a$ je pravdivý vždy. Nazývá se **tautologie**. $(a \wedge b) \Rightarrow a$ je pravdivý vždy. Nazývá se **tautologie**.