«Predicado (lógica matemática)» em inglês com tradução paralela