Lógica independence-friendly