From 1e4ca9868677c279ae35d497945122b8293873d7 Mon Sep 17 00:00:00 2001
From: Matan Horovitz <matanhorovitz@protonmail.com>
Date: Thu, 30 Jan 2025 16:45:51 +0200
Subject: [PATCH] vault backup: 2025-01-30 16:45:51

---
 .obsidian/workspace.json                   |  7 +++----
 פילוסופיה/לוגיקה/מתקדמת/למבחן.md           |  2 ++
 פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md | 14 ++++++++------
 3 files changed, 13 insertions(+), 10 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index d522a115..c9231167 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -27,12 +27,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "פילוסופיה/לוגיקה/מתקדמת/למבחן.md",
+                "file": "פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "למבחן"
+              "title": "פאראקונסיסטנטית"
             }
           }
         ],
@@ -180,9 +180,9 @@
   },
   "active": "f2fdf12e928f23df",
   "lastOpenFiles": [
+    "פילוסופיה/לוגיקה/מתקדמת/למבחן.md",
     "פילוסופיה/לוגיקה/מתקדמת/דמה.pdf",
     "פילוסופיה/לוגיקה/מתקדמת/index.md",
-    "פילוסופיה/לוגיקה/מתקדמת/למבחן.md",
     "כלליים/יוונית/תחביר.md",
     "כלליים/יוונית/מילון.md",
     "כלליים/יוונית/הפועל.md",
@@ -216,7 +216,6 @@
     "פסיכולוגיה/אישיות/אגו.pdf",
     "פסיכולוגיה/אישיות/Interpersonal.pdf",
     "פסיכולוגיה/אישיות/Interpersonal",
-    "פסיכולוגיה/אישיות/הומניסטיות.pdf",
     "donkey.webp",
     "פילוסופיה/מטאפיזיקה/rome.jpeg",
     "פילוסופיה/מטאפיזיקה/nero.jpg",
diff --git a/פילוסופיה/לוגיקה/מתקדמת/למבחן.md b/פילוסופיה/לוגיקה/מתקדמת/למבחן.md
index 100315c6..1fef332f 100644
--- a/פילוסופיה/לוגיקה/מתקדמת/למבחן.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/למבחן.md
@@ -160,3 +160,5 @@ $v(t', p \land \neg p) = T$
 	 $v(A, w3) = ?$
 
 
+
+5. א. 
\ No newline at end of file
diff --git a/פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md b/פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md
index 9421678f..4d8a51b2 100644
--- a/פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.md
@@ -227,12 +227,14 @@ B
 
 1. **אקסיומה**:  $Α \lor \neg A$
 2. **כללים של דדוקציה טבעית לדיסיונקציה וקוניונקציה**:
-$$\begin{align}
-\neg \neg A \therefore A \\
-A \therefore \neg \neg A \\
-\neg (A \land B) \therefore \neg A \lor \neg B \\
-\neg (A \lor B) \therefore \neg A \land \neg B
-\end{align}$$
+	
+	$$\begin{align}
+	\neg \neg A \therefore A \\
+	A \therefore \neg \neg A \\
+	\neg (A \land B) \therefore \neg A \lor \neg B \\
+	\neg (A \lor B) \therefore \neg A \land \neg B
+	\end{align}$$
+	
 
 3. **עובדה**: אם $Γ \models A$ (בלוגיקה של הפרדוקס), אזי יש לפחות פסוק אטומי אחד q שמופיע גם בA וגם בחלק מפסוקי Γ.