vault backup: 2025-01-31 16:30:19

2025-01-31 16:30:20 +02:00
parent 0967209d31
commit c445c76f58
2 changed files with 8 additions and 8 deletions
--- a/פילוסופיה/לוגיקה/מתקדמת/מודאלית.md
+++ b/פילוסופיה/לוגיקה/מתקדמת/מודאלית.md
@@ -11,20 +11,20 @@

 כלומר - 

-`◇A - יכול לרדת גשם היום`
+$◇A$ - יכול לרדת גשם היום

-`□A - חייב לרדת גשם היום`
+$□A$ - חייב לרדת גשם היום

-`A - יורד גשם היום`
+$A$ - יורד גשם היום


 אפשרות והכרח עומדים ביחס - מה שהכרחי, שלילתו לא יכולה להיות אפשרית - 

-`□A ≡ ~◇~A`
+$□A ≡ ~◇~A$

 ומה שאפשרי, לא ייתכן ששלילתו הכרחית - 

-`◇A ≡ ~□~A`
+$◇A ≡ ~□~A$


 !!! info ""