Wenn ich nun auf “f(27)” schließen will || Um nun auf “f(27)” zu schließen, – genügt es, daß ich die || jene Implikation kenne?