Hinweise
Sinn dieses Programms
Dieses Programm soll prüfen, ob aus gegeben Voraussetzungen
(den sog. Prämissen) bestimmte Folgerungen (die sog.
Konklusionen) begriffslogisch abge- leitet werden können.
Bedienung
Grundelemente, bekannte Prämissen
und zu prüfende Konklusionen eingeben (oder einfach
eines der Beispiele auswählen und sich die G., P. und K.
anschauen), und die Analyse auslösen...