Als syllogistische Maschine bezeichnet man ein logische Maschine mit deren Hilfe man eine beliebige Verknüpfung von zwei Prämissen zu einem Schlusssatz daraufhin analysieren kann, ob dies ein korrekter Syllogismus ist. Gefunden auf https://www.enzyklo.de/Lokal/40015
Als syllogistische Maschine bezeichnet man ein logische Maschine mit deren Hilfe man eine beliebige Verknüpfung von zwei Prämissen zu einem Schlusssatz daraufhin analysieren kann, ob dies ein korrekter Syllogismus ist.