Lose passende Reime für symbolische logik