dan/notes
1
0
Fork 0
mirror of https://github.com/danbulant/notes synced 2026-05-24 12:35:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

vault backup: 2021-11-12 06:33:21

Browse source
This commit is contained in:
Daniel Bulant 2021-11-12 06:33:21 +01:00
parent c60f301e96
commit e252ebce73
2 changed files with 12 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -12,8 +12,8 @@
"checkpointList": [ "checkpointList": [
{ {
"path": "/", "path": "/",
"date": "2021-11-08", "date": "2021-11-11",
"size": 194459 "size": 188737
} }
], ],
"activityHistory": [ "activityHistory": [
@ -154,7 +154,7 @@
}, },
{ {
"date": "2021-11-05", "date": "2021-11-05",
"value": 1875 "value": 0
}, },
{ {
"date": "2021-11-06", "date": "2021-11-06",
@ -162,11 +162,11 @@
}, },
{ {
"date": "2021-11-07", "date": "2021-11-07",
"value": 188009 "value": 2167
}, },
{ {
"date": "2021-11-08", "date": "2021-11-11",
"value": 6153 "value": 728
} }
] ]
} }

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

@ -19,7 +19,11 @@
## 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í
## 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**.