From b34a5df2994c09a8682e600728a7804c7b21b8e7 Mon Sep 17 00:00:00 2001
From: Matan Horovitz <matanhorovitz@protonmail.com>
Date: Sat, 23 Nov 2024 15:01:27 +0200
Subject: [PATCH] vault backup: 2024-11-23 15:01:27

---
 .obsidian/workspace.json            |  3 +--
 פילוסופיה/לוגיקה/לוגיקה מודאלית.md  |  7 +++++--
 פסיכולוגיה/.obsidian/workspace.json | 16 ++++++----------
 3 files changed, 12 insertions(+), 14 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 4bcb7a86..e386fac1 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -91,8 +91,7 @@
       }
     ],
     "direction": "horizontal",
-    "width": 300,
-    "collapsed": true
+    "width": 300
   },
   "right": {
     "id": "99950006b34d1af7",
diff --git a/פילוסופיה/לוגיקה/לוגיקה מודאלית.md b/פילוסופיה/לוגיקה/לוגיקה מודאלית.md
index 7793717c..9ca0ee54 100644
--- a/פילוסופיה/לוגיקה/לוגיקה מודאלית.md	
+++ b/פילוסופיה/לוגיקה/לוגיקה מודאלית.md	
@@ -268,7 +268,7 @@ S5 היא החזקה בכל המערכות.
 
 		1. 
 		
-		V(w, ~A) = T if v(w,A) = F
+			V(w, ~A) = T if v(w,A) = F
 
 		2.
 
@@ -278,7 +278,7 @@ S5 היא החזקה בכל המערכות.
 		
 			v(w, □A) if in every line w` ∈ W  
 
-			v(w`, A) = T
+				v(w`, A) = T
 		
 		4.
 
@@ -286,6 +286,9 @@ S5 היא החזקה בכל המערכות.
 
 				v(w`,A) = T
 
+	נאמר שפסוק A תקף-קרנפ אם לכל מודל M לכל עולם אפשרי w ∈ W
+
+		v(w,A) = T
 
 [^1]: לפי אריסטו, יש רק דבר אחד כזה, והוא האל.
 [^2]: זהו כשל לוגי נפוץ אצלנו - אנחנו נוטים לחשוב על משפטי תנאי (אם ככה אז ככה) כהכרחיים, כמו בהצרנה הזו - כשלמעשה יש הרבה מקרים שיש תנאי בלי ההכרח (A -> B) ולא □(A -> B).
diff --git a/פסיכולוגיה/.obsidian/workspace.json b/פסיכולוגיה/.obsidian/workspace.json
index 914ae1b2..ac159477 100644
--- a/פסיכולוגיה/.obsidian/workspace.json
+++ b/פסיכולוגיה/.obsidian/workspace.json
@@ -4,21 +4,17 @@
     "type": "split",
     "children": [
       {
-        "id": "533923ff8ff867c6",
+        "id": "5e80bb53788cafc2",
         "type": "tabs",
         "children": [
           {
-            "id": "91c6bc427bbc7c1a",
+            "id": "808033e1bc05e372",
             "type": "leaf",
             "state": {
-              "type": "markdown",
-              "state": {
-                "file": "דחק/index.md",
-                "mode": "source",
-                "source": false
-              },
+              "type": "empty",
+              "state": {},
               "icon": "lucide-file",
-              "title": "index"
+              "title": "New tab"
             }
           }
         ]
@@ -162,7 +158,7 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "91c6bc427bbc7c1a",
+  "active": "808033e1bc05e372",
   "lastOpenFiles": [
     "דחק/1.pdf",
     "דחק/lu992571okfx8.tmp",