Símbolo de Predicado
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un símbolo no lógico en un lenguaje formal que denota una relación n-aria sobre el dominio y se usa para formar fórmulas atómicas.