vault backup: 2025-01-28 08:59:14

פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md

@@ -105,7 +105,7 @@ summary: לוגיקה, בזמן!
 
 ### טרנזיטיביות 
 
-בכל מבנה טמפורלי M בו B טרנזיטיבי - 
+בכל מבנה טמפורלי $M$ בו $B$ טרנזיטיבי - 
 	
  $Μ \models Hα \to HHα,  Μ \models Gα \to GGα$
 
@@ -129,11 +129,11 @@ $Η(p \land \neg p) \lor PH(p \land \neg P)$
 
 הזמן הוא לינארי - 
 
-זמן ייקרא **לינארי** אם אין בו פיצולים. קרי, לכל שתי נקודות t1, t2:
+זמן ייקרא **לינארי** אם אין בו פיצולים. קרי, לכל שתי נקודות $t1, t2$:
 
-- הן אותו הרגע (t1=t2)
-- t1 קדם ל t2
-- t2 קדם ל t1
+- הן אותו הרגע ($t1=t2$)
+- $t1$ קדם ל $t2$
+- $t2$ קדם ל $t1$
 
 
 $Μ \models ( Fα \land Fβ) \to (F(α \land β) \lor F(A \land Fβ)) \lor F(β \land Fa)$
@@ -203,17 +203,14 @@ $Μ \models Pα \to PPα$
 !!! warning "מה?"
 	**אם העבר הכרחי**, ו**העבר טוען טענות לגבי העתיד**, אז הרי שאם טענו משהו לגבי העתיד בזמן עבר, או שקיבענו את העתיד (במידה והטענה מתממשת) או ששינינו את העבר (במידה והטענה לא מתממשת); זו בעיה רצינית.
 
-
-$$\begin{align}
-A: Pα \to \neg \Diamond \neg Pα (\Diamond Pα) \\
-Β: \Box(α \to β) \to (\neg \Diamond β \to \neg \Diamond α) (Axiom K)\\
-D:  α -> ~P~Fα \\
-E: (~α & ~Fα) -> P~Fα (Determinism)\\
-\\
-\therefore
-\\
-C: (~α & ~Fα) -> ~◇α \\
-\end{align}$$
+	$$\begin{align}
+	A: Pα \to \neg \Diamond \neg Pα (\Diamond Pα) \\
+	Β: \Box(α \to β) \to (\neg \Diamond β \to \neg \Diamond α)\ (Axiom\ K)\\
+	D:  α \to \neg P \neg Fα \\
+	E: (\neg α \land \neg Fα) \to P \neg Fα\ (Determinism)\\
+	\therefore \\
+	C: (\neg α \land \neg Fα) \to \neg \diamond α \\
+	\end{align}$$