Der Logik-Manager von Michael Pousen löst keine Logicals, aber unterstützt dabei! Das Programm ergänzt, aus Eingaben resultierende Schlussfolgerungen automatisch. So können wir lernen, was man sonst leicht mal übersieht!
Ich habe die Eintragungen und den zugehörigen (Teil)Hinweis rot hinterlegt. Der Rest an neuen Einträgen kommt vom Programm!
Bleibt die Hoffnung, das Interesse an diesem Programm und, vor allem an Logicals, geweckt zu haben!