Aritad de Predicado
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El número de lugares de argumento de un símbolo de predicado, que especifica cuántos términos acepta el predicado; un predicado k-ario relaciona k términos y es central en la firma de un lenguaje.