agregando validaciones semanticas

validaciones de que condiciones sean bool