i plead whoopsies my honor

README.md

@@ -121,7 +121,7 @@ Basierend nur auf Syntax wissen wir u.A.:
 
 Sei $F$ eine Formel in KNF, also
 
-$F = (L{1,1} \lor \dots \lor L_{1,n_1}) \land \dots \land (L_{k,1} \lor \dots \lor L_{k,n_k})$
+$F = (L_{1,1} \lor \dots \lor L_{1,n_1}) \land \dots \land (L_{k,1} \lor \dots \lor L_{k,n_k})$
 
 Wir stellen die Formel als Mengen von Klauseln dar:
 
@@ -145,7 +145,7 @@ Erweitert die Aussagenlogik mit
 
 - Quantoren $\exists, \forall$
 - Variablen $x_1, x_2, \dots$ oder $u, v, w, x, y, z$
-- Funktions- und Prädikatssymbole $f_1, f_2, \dots$ oder $f, g, h$
+- Funktionssymbole $f_1, f_2, \dots$ oder $f, g, h$
 - Konstanten (Funktionssymbole der Stelligkeit 0): $a_1, a_2, \dots$ oder $a, b, c$
 - Prädikatsybole: $P_1, P_2, \dots$ oder $P, Q, R$