condición (en programación o lógica)