From f615b359a0520fe7572abd3e909ed928d563174f Mon Sep 17 00:00:00 2001 From: raj_mathe Date: Sat, 19 Jun 2021 09:50:23 +0200 Subject: [PATCH] master > master: glossar --- notes/glossar.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notes/glossar.md b/notes/glossar.md index ee5835c..33e3204 100644 --- 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!) ~~Menge der Atome in AL~~ | | 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` |