lógica de primer orden ejemplos