La lógica de primer orden tiene un poder expresivo muy superior al de la lógica proposicional.