sentencias lógicas en programación