From e252ebce73867ca93e5c4f4a2cffc332ab132ef8 Mon Sep 17 00:00:00 2001
From: Daniel Bulant <danbulant@gmail.com>
Date: Fri, 12 Nov 2021 06:33:21 +0100
Subject: [PATCH] vault backup: 2021-11-12 06:33:21

---
 .../plugins/obsidian-activity-history/data.json      | 12 ++++++------
 notes/mat/Výroková logika.md                         |  8 ++++++--
 2 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/notes/.obsidian/plugins/obsidian-activity-history/data.json b/notes/.obsidian/plugins/obsidian-activity-history/data.json
index 6233590..63900b6 100644
--- a/notes/.obsidian/plugins/obsidian-activity-history/data.json
+++ b/notes/.obsidian/plugins/obsidian-activity-history/data.json
@@ -12,8 +12,8 @@
   "checkpointList": [
     {
       "path": "/",
-      "date": "2021-11-08",
-      "size": 194459
+      "date": "2021-11-11",
+      "size": 188737
     }
   ],
   "activityHistory": [
@@ -154,7 +154,7 @@
         },
         {
           "date": "2021-11-05",
-          "value": 1875
+          "value": 0
         },
         {
           "date": "2021-11-06",
@@ -162,11 +162,11 @@
         },
         {
           "date": "2021-11-07",
-          "value":  188009
+          "value": 2167
         },
         {
-          "date": "2021-11-08",
-          "value": 6153
+          "date": "2021-11-11",
+          "value": 728
         }
       ]
     }
diff --git a/notes/mat/Výroková logika.md b/notes/mat/Výroková logika.md
index d17c8c2..1997023 100644
--- a/notes/mat/Výroková logika.md	
+++ b/notes/mat/Výroková logika.md	
@@ -19,7 +19,11 @@
 
 ## 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$.
-
+### 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
-
 $(a \wedge b) \Rightarrow a$ je pravdivý vždy. Nazývá se **tautologie**.
\ No newline at end of file