master > master: glossar

2021-06-19 09:50:52 +02:00 · 2021-06-19 09:50:23 +02:00
1 changed files with 1 additions and 1 deletions
--- a/notes/glossar.md
+++ b/notes/glossar.md
@ -23,7 +23,7 @@
 | `=` | — | `F = G` gdw. `F` und `G` _dieselbe_ Formel sind |
 | `≡` | §13 Definition, VL3, Seite 11 | `F ≡ G` gdw. `F`, `G` **semantisch** äquivalent |
 | `{...}_⋀` | §39 Definition, VL5, Seite 108 | Mengendarstellung von Disjunktionsglied |
-| ~~`𝒜`~~ | — | (Eintrag ignorieren—kommt in VL nicht vor!) ~~Menge der Atome in AL~~ |
+| ~~-`𝒜`-~~ | — | (**Eintrag ignorieren**: kommt in VL nicht vor!) |
 | AL | (VL2–VL6) | Aussagenlogik |
 | `Aᵢ` | §8 Definition, VL2, Seite 8 | das _i_-te Atom in der AL-Sprache |
 | `Atome(·)` | §5 Definition, V2, Seite 14 | `Atome(F) =` Menge aller Atome in `F` |
Author	SHA1	Message	Date
RD	c64ea391fb	master > master: glossar	2021-06-19 09:50:52 +02:00
RD	f615b359a0	master > master: glossar	2021-06-19 09:50:23 +02:00