diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 4ca76548..824db199 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,12 +13,12 @@ "state": { "type": "markdown", "state": { - "file": "פסיכולוגיה/אישיות/הומניסטיות.md", + "file": "פילוסופיה/לוגיקה/מתקדמת/מודאלית.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "הומניסטיות" + "title": "מודאלית" } }, { @@ -193,8 +193,8 @@ }, "active": "095c465e7270712e", "lastOpenFiles": [ - "פסיכולוגיה/אישיות/index.md", "פסיכולוגיה/אישיות/הומניסטיות.md", + "פסיכולוגיה/אישיות/index.md", "פסיכולוגיה/אישיות/קליין.md", "פסיכולוגיה/אישיות/האגו.md", "פסיכולוגיה/אישיות/פסיכואנליטית.md", diff --git a/פילוסופיה/לוגיקה/מתקדמת/מודאלית.md b/פילוסופיה/לוגיקה/מתקדמת/מודאלית.md index 53008dcd..f46b6a6f 100644 --- a/פילוסופיה/לוגיקה/מתקדמת/מודאלית.md +++ b/פילוסופיה/לוגיקה/מתקדמת/מודאלית.md @@ -11,20 +11,20 @@ כלומר - -`◇A - יכול לרדת גשם היום` +$◇A$ - יכול לרדת גשם היום -`□A - חייב לרדת גשם היום` +$□A$ - חייב לרדת גשם היום -`A - יורד גשם היום` +$A$ - יורד גשם היום אפשרות והכרח עומדים ביחס - מה שהכרחי, שלילתו לא יכולה להיות אפשרית - -`□A ≡ ~◇~A` +$□A ≡ ~◇~A$ ומה שאפשרי, לא ייתכן ששלילתו הכרחית - -`◇A ≡ ~□~A` +$◇A ≡ ~□~A$ !!! info ""