Syllogistische Maschine

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.