From c445c76f589a354667605dabe0b360a8e9cf1461 Mon Sep 17 00:00:00 2001 From: Matan Horovitz Date: Fri, 31 Jan 2025 16:30:20 +0200 Subject: [PATCH] vault backup: 2025-01-31 16:30:19 --- .obsidian/workspace.json | 6 +++--- פילוסופיה/לוגיקה/מתקדמת/מודאלית.md | 10 +++++----- 2 files changed, 8 insertions(+), 8 deletions(-) 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 ""