Paket zum darstellen von Logik

Antwort erstellen


Diese Frage dient dazu, das automatisierte Versenden von Formularen durch Spam-Bots zu verhindern.
Smilies
:D :) :( :o :shock: :? 8) :lol: :-x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode ist eingeschaltet
[img] ist eingeschaltet
[flash] ist ausgeschaltet
[url] ist eingeschaltet
Smilies sind eingeschaltet

Die letzten Beiträge des Themas

Ich habe die Datenschutzerklärung gelesen und bin damit einverstanden.

   

Wenn du eine Datei oder mehrere Dateien anhängen möchtest, gib die Details unten ein.

Ansicht erweitern Die letzten Beiträge des Themas: Paket zum darstellen von Logik

Re: Paket zum darstellen von Logik

von Stammgast » Fr 4. Mär 2022, 16:28

Wie zu vielen anderen Themen gibt es auf CTAN auch eine Liste, in der Pakete für Logik zu finden sind. Die jeweilige Anleitung sollte Klarheit schaffen, welches Paket für die gewünschte Ausgabe das passende ist.

Sofern ein Paket im TeX-System bereits installiert ist, befindet sich seine Anleitung auch auf dem Rechner und kann in der Kommandozeile über »texdoc« abgerufen werden.

Paket zum darstellen von Logik

von Logikspielerei » Fr 4. Mär 2022, 13:20

Guten Mittag Zusammen

Habt ihr eine Empfehlung für mich für ein gutes Paket mit dem ich logische Formeln hübsch aufschreiben kann. Eines das evtl. eine gute Umgebung dafür bereit stellt?

Beispiel:
Wenn A wahr ist dann muss auch B wahr sein und somit muss C falsch sein.

Das gibt also
A
A --> B
B -> neg C

Daraus folgt also blabal

Beispiel Ende.

Ich habe das in der Vergangenheit zum Teil über Tabellen gelöst um die das ganze hübsch untereinander zu bekommen. Ginge auch mit Umgebungen wie Quote usw. Ich frage mich aber ob es ein Paket gibt das sehr explizit dafür gedacht ist und evtl. auch andere hübsche Darstellungen erlaubt bei dem evtl. Zwischenschritte erklärt werden können. Falls ihr etwas kennt gebt doch bescheid.
Dann schaue ich mir das an.

Liebe Grüsse
Logikspielerei

Nach oben