vault backup: 2024-12-19 15:11:24

2024-12-19 15:11:24 +02:00
parent 3673d40753
commit 01994b94fd
3 changed files with 17 additions and 15 deletions
--- a/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/טמפורלית.md
@@ -119,7 +119,11 @@ description: לוגיקה, בזמן!
 		 FG(p&~p) v G(p&~p)


-(שניהם משחקים )
+(שניהם משחקים על זה שלפני הזמן ואחריו סתירות היו אמיתיות: אין דוגמת נגד)

+
+- הזמן הוא לינארי - 
+
+		Μ ⊨ ( Fα & Fβ) -> (F(α & β) v F(A&Fβ)) v F(β & Fa)
 [^1]: מי אמר שיעור פילוסופיה ולא קיבל?
 [^2]: איזה שם *מעולה* לפילוסוף שעוסק בזמן.