Idealerweise sollen logische Maschinen Argumente auf ihre Gültigkeit untersuchen; in der Praxis erreichen logische Maschinen dieses Ziel häufiger mittelbar, indem sie ermitteln, welche Schlüsse sich aus gegebenen Prämissen überhaupt ziehen lassen.