import pandas as pd

df = pd.read_csv("datos.csv")
filtrado = df[df["edad"] > 18]
filtrado.to_csv("mayores.csv", index=False)