Diferencia entre revisiones de «Consistencia (lógica)»
Contenido eliminado Contenido añadido
m Revertir: usuario añadiendo información sin referenciar, posiblemente sea un bulo, no atiende a los avisos dados |
→Teorema de Henkin: definicos |
||
Línea 101:
Sea <math>\Phi</math> un conjunto de fórmulas máximamente consistentes testigos.
la cosistencia de linea
Define una relación binaria en el conjunto de términos S <math> t_0 \sim t_1 \!</math> si y solo si <math>\; t_0 = t_1 \in \Phi</math>; y sea <math>\overline t \!</math> la clase de términos de equivalencia conteniendo <math>t \!</math>; y sea <math>T_{\Phi} := \{ \; \overline t \; |\; t \in T^S \} </math> donde <math>T^S \!</math> es el conjunto de términos basados en el conjunto de símbolo <math>S \!</math>.
| |||