LogikLöser Anleitung

Nachdem das Applet gestartet hat, sehen Sie etwa folgendes (Design und Größe können abweichen.):

Die Felder für die Minus- und Pluszeichen sind Ihnen sicher bekannt. Weiter unten ist eine scrollbare Liste mit allen Begriffen. Rechts vier Knöpfe, auf die ich noch zu sprechen komme.

Die zu Anfang eingetragenen Begriffe sind nur beispielhaft und normalerweise nicht zu verwenden. Also müssen Sie dem Programm die richtigen erst beibringen. Klicken Sie auf "Einstellungen". Der Bildschirm baut sich neu auf. Es erscheint folgenden Bild:

Zuerst müssen Sie Anzahl der Kategorien und der Einträge pro Kategorie richtigstellen. Kategorien sind Oberbegriffe, z. B. Name, Vorname, Beruf. Einträge sind konkrete Objekte, die in den Zeilen und Spalte stehen, z. B. Müller, Hans, Schreiner. Im obigen Beispiel gibt es 4 Kategorien mit jeweils 5 Begriffen, also insgesamt 20 Begriffe. Nun sollten Sie die Begriffe in die Tabelle eintragen. Am besten klicken Sie zunächst auf "Alles löschen", dann ist aller leer. In eine Zeile kommen jeweils alle Begriffe einer Kategorie. Zum nächsten Feld kommen Sie mit der Tabulatortaste oder direkt mit der Maus.

Mit dem Popup-Menü können Sie die aktive Unterstützung ein- und ausschalten.

Darunter können Sie die Darstellungsform wählen. "Dreieckig" ist die klassische Darstellungsform. "Quadratisch" ist die symmetrischere. In letzterer können theoretisch Interessierte graphische Zusammenhänge entdecken (so "stellt" sich auch der Computer die Matrix "vor"). Allerdings braucht sie viel mehr Platz.

Haben Sie etwas ungewollt verändert und möchten es rückgängig machen, klicken Sie auf "Rücksetzen". Alles wird nun wieder auf den Zustand gesetzt, den es nach dem Klick auf "Einstellungen" gehabt hat.

Schließlich kehren Sie mit "Übernehmen" zur ersten Ansicht zurück und könnnen beginnen.

Sie haben jetzt also die Hinweise vor sich. Diese müssen Sie jetzt eingeben, indem Sie an die entsprechende Stelle ein Minus oder ein Plus setzen. Ein Minus setzen Sie mit einem einfachen Klick in das entsprechende Feld. Um ein Plus zu plazieren, klicken Sie mit der rechten Maustaste oder halten Sie die Alt-Taste gedrückt, während Sie mit links klicken.

Haben Sie die automatische Unterstützung aktiviert, so erscheint unten eine Liste mit Begriffen. Als zusammengehörend erkannte Begriffe werden in eine Zeile geschrieben. Zum Schluß sollte man die Liste nicht mehr scrollen können, da nur noch so viele Zeilen wie Einträge pro Kategorie vorhanden sind.

"Relative Hinweise" wie "Die Hausnummer von Frau X. ist um 2 größer als die Hausnummer von Herrn Y. ." können Sie nicht direkt eingeben. Hier sind Sie weiterhin auf ihren eigenen Verstand angewiesen. Allein die Eingabe wäre auch schon viel zu kompliziert, als daß es sich lohnen würde.

Sie sollten jetzt Hinweis für Hinweis eingeben: Es kann sein, daß noch ziemlich große Lücken vorhanden sind, aber beim letzten, entscheidenden Klick füllt sich dann alles.

Mit den Knöpfen an der rechten Seite können Sie auch stufenweise vor uns zurück gehen. "Alles löschen" macht wieder reinen Tisch.

Automatische Unterstützung

Haben Sie die automatische Unterstützung aktiviert, werden vollautomatisch alle zwingend logischen Schlüsse gezogen. Die Zeichen, die Sie selbst gesetzt haben, erscheinen in rot. Die anderen (schwarzen) hat das Programm aus den roten gefolgert. Falls Sie einen Fehler gemacht haben, können Sie auch Zeichen wieder löschen, aber natürlich nur die roten, für die Sie auch selbst verantwortlich sind. Alle Schlußfolgerungen daraus werden dann wieder zurückgenommen. Klicken Sie hierzu einfach noch einmal in gleicher Weise darauf. Haben Sie noch einen Hinweis einzutragen, dessen Aussage das Programm schon aus anderen Hinweisen gefolgert, können Sie ihn trotzdem eingeben. Das Zeichen wird dann rot und ist damit fixiert. Es wird nicht mehr nur als Folgerung betrachtet.