Commit 7849e27baca9c0ec262af89b1e19cefd897ff707
2020-05-22T11:45:17
modal-logic: simplify definitions
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58
diff --git a/modal-logic/index.md b/modal-logic/index.md
index df25f1f..ecabc5a 100644
--- a/modal-logic/index.md
+++ b/modal-logic/index.md
@@ -2,45 +2,30 @@
## 1. Notation
-### 1.1 Not
+### 1.1 ¬A
"Not A"
-¬A
-
-### 1.2 Necessarilly
+### 1.2 □A
"It is necessary that A"
-□A
-
-### 1.3 Possibly
+### 1.3 ◊A
"It is possible that A"
-◊A
-
-### 1.4 Implies
+### 1.4 A → B
"If A then B"
-A → B
-
-### 1.5 Conjunction
+### 1.5 A ∧ B
"A and B"
-A ∧ B
-
-### 1.6 Disjunction
+### 1.6 A ∨ B
"A or B"
-A ∨ B
-
-### 1.7 Exclusive disjunction
+### 1.7 A ⊕ B
"A xor B"
-A ⊕ B
-
-### 1.8 Mutual implication
+### 1.8 A ↔ B
"If A then B and if B then A"
-A ↔ B
## 2. Contruction
K is a weak logic (Saul Kripke)