lógica de predicados ejemplos