diff --git a/notes/.obsidian/plugins/obsidian-activity-history/data.json b/notes/.obsidian/plugins/obsidian-activity-history/data.json
index 05ad11b..9c8e119 100644
--- a/notes/.obsidian/plugins/obsidian-activity-history/data.json
+++ b/notes/.obsidian/plugins/obsidian-activity-history/data.json
@@ -13,7 +13,7 @@
     {
       "path": "/",
       "date": "2021-11-12",
-      "size": 188878
+      "size": 189373
     }
   ],
   "activityHistory": [
@@ -170,7 +170,7 @@
         },
         {
           "date": "2021-11-12",
-          "value": 6207
+          "value": 6702
         }
       ]
     }
diff --git a/notes/mat/Výroková logika.md b/notes/mat/Výroková logika.md
index 8fc6a2a..07e246a 100644
--- a/notes/mat/Výroková logika.md	
+++ b/notes/mat/Výroková logika.md	
@@ -20,10 +20,15 @@
 ## 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í
+
 ## Ekvivalence
 Pokud a je stejné jako b.
 $a \iff b$
-
 ## Příklad
-
 $(a \wedge b) \Rightarrow a$ je pravdivý vždy. Nazývá se **tautologie**.
\ No newline at end of file