Moin!
ich wollte nur berichten, dass ich ein Tippfehler in den F1 Folien gefunden hab:

Logik-7[5]:
…
[wegen [img]http://mokrates.de/cgi-bin/texstring?F%20%5Cequiv%20F%20%5Crightarrow%20%5Ctop[/img] für alle F]

müsste sein:

[img]http://mokrates.de/cgi-bin/texstring?F%20%5Cequiv%20%5Ctop%20%5Crightarrow%20F[/img]


mfg,
pazz