Ist X leer, dann ist A ein Theorem So lautet ein bekanntes Beispiel eines logischen Schlusses. Feststellungen, zum Beispiel „Tür geschlossen“ Bedingungen, zum Beispiel x<5 Relationen, wie a(i)