Búsqueda por
palabras:
  • Paraula 1
  • Paraula 2
  • Paraula 3
  • Paraula 4
Palabra exacta:
Filtrar por
temas:
Filtrar por
autores:

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 predi­cados—, 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

Este web utiliza "cookies" propias y de terceros para ofrecerle un mejor servicio, al navegar el usuario acepta su uso Más info
ACCEPTAR