#Un ensemble de phrases <math>\Im</math>, et un nombre <math>n\geq1</math> d'autres phrases ou déclarations <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sont logiquement incompatibles si, et seulement si, l'union entre eux <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> est incohérente. | #Un ensemble de phrases <math>\Im</math>, et un nombre <math>n\geq1</math> d'autres phrases ou déclarations <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sont logiquement incompatibles si, et seulement si, l'union entre eux <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> est incohérente. |