#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 compatibles si, et seulement si, l'union entre eux <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> est cohé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 compatibles si, et seulement si, l'union entre eux <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> est cohérente.. |