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

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