#Un conjunto de frases <math>\Im</math>, y un número <math>n\geq1</math> de otras frases o afirmaciones <math>(\delta_1,\delta_2,.....\delta_n \ )</math> son lógicamente compatibles si, y sólo si, la unión entre ellos <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> es coherente. | #Un conjunto de frases <math>\Im</math>, y un número <math>n\geq1</math> de otras frases o afirmaciones <math>(\delta_1,\delta_2,.....\delta_n \ )</math> son lógicamente compatibles si, y sólo si, la unión entre ellos <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> es coherente. |