Download
Die Begriffslogik wurde seit Beginn der siebziger Jahre des letzten Jahrhunderts auch programmtechnisch umgesetzt. Informationen zu den verfügbaren Begriffslogik-Programmen finden Sie in den folgenden Beiträgen:
Die Programmpakete enthalten die ausführbaren Programme, sowie Erklärungen und Beschreibungen.
- Die Tübinger-Logik (DOS, BASIC) in Deutsch (175 kB).
- Älteres Deduktives-Programm (DOS, Pascal) in Deutsch (75 kB).
- Das Venn-Programm (DOS, OS/2, C++) in Deutsch (323 kB).
- Das Venn-Programm (linux, glibc2, C++) in Deutsch (133 kB).
- Das Venn-Programm (DOS, Pascal) in Deutsch (114 kB).
- Das Venn-Programm (DOS, Pascal) in Englisch (114 kB).
Oder probieren sie einige Online-Programme aus.