Por ejemplo, las siguientes tres oraciones, aunque similares en español, tiene tres diferentes significados en la lógica de predicados: