POLIÁDICO
En la lógica cuantificacional (véase cuantificación, cuantificacional, cuantificador) elemental, o lógica de predicados de primer orden —donde se cuantifican solamente argumentos, pero no predicados—, tenemos casos en los que hay sólo un argumento, y casos en los que hay más de un argumento. Los últimos pueden tener dos, tres, cuatro, cinco, seis, etc., argumentos y, en general, n argumentos.
Así:
F x
es un esquema lógico abierto (no cuantificado). Si ‘x’ simboliza un individuo y ‘F’ simboliza un predicado, ‘Fx’ puede leerse:
Celinda es envidiosa.
Es obvio que, habiendo sólo un argumento, ‘x’, puede haber únicamente dos cuantificaciones de ‘Fx’:
∧ x(Fx)
∨ x(Fx)
es decir, respectivamente:
Para todos los x, x es F,
Para algunos x, x es F,
que pueden tener como ejemplos:
Todos los soldados son cobardes.
Algunos soldados juegan al tresillo.
En cualquiera de estos casos tenemos un predicado
