vault backup: 2026-02-27 11:44:44

.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",

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$: