#Un insieme di frasi <math>\Im</math>, e un numero <math>n\geq1</math> di altre frasi o dichiarazioni <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sono logicamente compatibili se, e solo se, l'unione tra loro <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> è coerente. | #Un insieme di frasi <math>\Im</math>, e un numero <math>n\geq1</math> di altre frasi o dichiarazioni <math>(\delta_1,\delta_2,.....\delta_n \ )</math> sono logicamente compatibili se, e solo se, l'unione tra loro <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> è coerente. |