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

CONSISTENTE

El vocablo ‘consistente’ designa uno de los conceptos fundamentales usados en metalógica. Se llama consistente a un cálculo C cuando, dada una fórmula bien formada, f, de C, no es el caso que f y la ne­gación de f f) sean a la vez teoremas de C. Se llama también consistente a un cálculo C cuando hay por lo menos una fórmula bien formada de C que no es un teorema de C. Las dos anteriores definiciones corresponden a dos tipos de consistencia y son aplicadas, se­gún los casos, a diversas clases de cálculos.

El concepto de consistencia es un

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