vault backup: 2025-01-30 16:45:51

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

פילוסופיה/לוגיקה/מתקדמת/למבחן.md

@@ -160,3 +160,5 @@ $v(t', p \land \neg p) = T$
 	 $v(A, w3) = ?$
 
 
+
+5. א. 

פילוסופיה/לוגיקה/מתקדמת/פאראקונסיסטנטית.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 וגם בחלק מפסוקי Γ.