From 464576500e92a36e1795daa6d63c24ef4dc8a8c8 Mon Sep 17 00:00:00 2001
From: Jan Meyer <git@lolmerkat.cc>
Date: Fri, 27 Feb 2026 11:44:44 +0100
Subject: [PATCH] vault backup: 2026-02-27 11:44:44

---
 .obsidian/workspace.json | 35 ++++++++++++++++++-----------------
 DAS/Logic.md             |  0
 DAS/Set Theory.md        |  4 ++--
 3 files changed, 20 insertions(+), 19 deletions(-)
 create mode 100644 DAS/Logic.md

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index fdcbb38..0fc475e 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -4,25 +4,11 @@
     "type": "split",
     "children": [
       {
-        "id": "15fadcc006380479",
+        "id": "d81c30d5fb1edc06",
         "type": "tabs",
         "children": [
           {
-            "id": "6b7a81afba2d55ca",
-            "type": "leaf",
-            "state": {
-              "type": "markdown",
-              "state": {
-                "file": "DAS/Set Theory.md",
-                "mode": "source",
-                "source": false
-              },
-              "icon": "lucide-file",
-              "title": "Set Theory"
-            }
-          },
-          {
-            "id": "197c8e18c8d8ef8c",
+            "id": "e815710c82d8b872",
             "type": "leaf",
             "state": {
               "type": "markdown",
@@ -34,6 +20,20 @@
               "icon": "lucide-file",
               "title": "Functions"
             }
+          },
+          {
+            "id": "9bb2d002d5fe1179",
+            "type": "leaf",
+            "state": {
+              "type": "markdown",
+              "state": {
+                "file": "DAS/Logic.md",
+                "mode": "source",
+                "source": false
+              },
+              "icon": "lucide-file",
+              "title": "Logic"
+            }
           }
         ],
         "currentTab": 1
@@ -183,10 +183,11 @@
       "obsidian-git:Open Git source control": false
     }
   },
-  "active": "197c8e18c8d8ef8c",
+  "active": "9bb2d002d5fe1179",
   "lastOpenFiles": [
     "DAS/Set Theory.md",
     "DAS/Functions.md",
+    "DAS/Logic.md",
     "mathe/notation.md",
     "Studium.md",
     "ET/Netzwerke.md",
diff --git a/DAS/Logic.md b/DAS/Logic.md
new file mode 100644
index 0000000..e69de29
diff --git a/DAS/Set Theory.md b/DAS/Set Theory.md
index 5b52e15..237fbd1 100644
--- a/DAS/Set Theory.md	
+++ b/DAS/Set Theory.md	
@@ -1,5 +1,5 @@
-> A set is a collection of _unordered_ elements.
-> A set cannot contain duplicates.
+A set is a collection of _unordered_ elements.
+A set cannot contain duplicates.
 ## Notation
 ### Set Notation
 Declaration of a set $A$ with elements $a$, $b$, $c$: