Diferencia entre revisiones de «Consistencia (lógica)»
Contenido eliminado Contenido añadido
m Corregido error de redacción |
|||
Línea 23:
==Fórmulas==
Un conjunto de [[Fórmula matemática|fórmulas]] <math>\Phi</math> en lógica de primer orden es consistente (expresado como Con<math>\Phi</math>) si y solo si no existe una fórmula <math>\phi</math> tal que <math>\Phi \vdash \phi</math> y <math>\Phi \vdash \lnot\phi</math>. De lo contrario <math>\Phi</math> es
<math>\Phi</math> es simplemente consistente si y solo si para ninguna fórmula <math>\phi</math> de <math>\Phi</math> son tanto <math>\phi</math> como la negación de <math>\phi</math> teoremas de <math>\Phi</math>.
|