vault backup: 2026-03-06 21:19:59
This commit is contained in:
7
.obsidian/workspace.json
vendored
7
.obsidian/workspace.json
vendored
@@ -13,12 +13,12 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "markdown",
|
"type": "markdown",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "DAS/Logic.md",
|
"file": "DAS/Set Theory.md",
|
||||||
"mode": "source",
|
"mode": "source",
|
||||||
"source": false
|
"source": false
|
||||||
},
|
},
|
||||||
"icon": "lucide-file",
|
"icon": "lucide-file",
|
||||||
"title": "Logic"
|
"title": "Set Theory"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
@@ -170,9 +170,10 @@
|
|||||||
},
|
},
|
||||||
"active": "e815710c82d8b872",
|
"active": "e815710c82d8b872",
|
||||||
"lastOpenFiles": [
|
"lastOpenFiles": [
|
||||||
|
"Untitled.md",
|
||||||
|
"DAS/Logic.md",
|
||||||
"DAS/Functions.md",
|
"DAS/Functions.md",
|
||||||
"DAS/Set Theory.md",
|
"DAS/Set Theory.md",
|
||||||
"DAS/Logic.md",
|
|
||||||
"mathe/notation.md",
|
"mathe/notation.md",
|
||||||
"Studium.md",
|
"Studium.md",
|
||||||
"ET/Netzwerke.md",
|
"ET/Netzwerke.md",
|
||||||
|
|||||||
0
.trash/Untitled.md
Normal file
0
.trash/Untitled.md
Normal file
@@ -83,3 +83,10 @@ $$
|
|||||||
A := {1, 2, 3} \
|
A := {1, 2, 3} \
|
||||||
cal(P)(A) = {emptyset, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
|
cal(P)(A) = {emptyset, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
|
||||||
$$
|
$$
|
||||||
|
|
||||||
|
## Relations
|
||||||
|
|
||||||
|
| Relation | Explanation | Example |
|
||||||
|
| ---------------- | --------------------------------------------------------------------------------------------------------------------- | ----------------------- |
|
||||||
|
| *transitive*<br> | "chain reaction", a information about $a$ in relation to $c$ can be inferred from the relations $a -> b$ and $b -> c$ | $a < b, b < c => a < c$ |
|
||||||
|
| | | |
|
||||||
|
|||||||
Reference in New Issue
Block a user