Online-Programme

Die folgenden Programme sind erste, von Detlef Mühle erstellte, kleine Tests was im Browser mit Javascript im Bereich der Begriffslogik-Programmierung möglich ist:

• Venn (Konklusionentest)
• Deduktion
• Aristo (Syllogistik)