«Predicado (lógica)» en inglés con traducción paralela