Diferencia entre revisiones de «Consistencia (lógica)»

Contenido eliminado Contenido añadido
Pablo Darko (discusión · contribs.)
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 consistenteinconsistente y se expresa Inc<math>\Phi</math>.
 
<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>.