vault backup: 2025-01-15 18:28:22

.obsidian/workspace.json

@@ -13,12 +13,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "פילוסופיה/אתיקה/רפלקטיביים.md",
+                "file": "פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "רפלקטיביים"
+              "title": "אינטואיציוניסטית"
             }
           }
         ]
@@ -77,7 +77,8 @@
       }
     ],
     "direction": "horizontal",
-    "width": 300
+    "width": 300,
+    "collapsed": true
   },
   "right": {
     "id": "99950006b34d1af7",
@@ -164,6 +165,7 @@
   },
   "active": "596b6044e8291300",
   "lastOpenFiles": [
+    "פילוסופיה/אתיקה/רפלקטיביים.md",
     "פסיכולוגיה/אישיות/ויניקוט.md",
     "כלליים/יוונית/משפטים.md",
     "פילוסופיה/הציטוטים.md",
@@ -201,7 +203,6 @@
     "פסיכולוגיה/אינטיליגנציה/מצגות/PHE.md",
     "פסיכולוגיה/אינטיליגנציה/מצגות/משחקים.md",
     "פסיכולוגיה/אינטיליגנציה/מצגות/ילדים.md",
-    "פסיכולוגיה/אינטיליגנציה/מצגות/מגדריים.md",
     "פילוסופיה/אתיקה/boredom.jpg",
     "פילוסופיה/מטאפיזיקה/horse.jpg",
     "פילוסופיה/מטאפיזיקה/snooker.jpg",

פילוסופיה/לוגיקה/מתקדמת/אינטואיציוניסטית.md

@@ -145,8 +145,8 @@ $$
 g(p) = p \\
 g(\neg A) = \Box\neg g(A) \\
 g(A \to B) = \Box g(A) \to \Box g(B)\\
-g(a \land B) = \Box g(A) \land \Box g(B)
+g(a \land B) = \Box g(A) \land \Box g(B) \\
-g(A \lor B)= \Box g(A)\lor \Box g(B)
+g(A \lor B)= \Box g(A)\lor \Box g(B)\\
 \end{align}
 $$