#Um conjunto de frases <math>\Im</math>, e um número <math>n\geq1</math> de outras frases ou declarações <math>(\delta_1,\delta_2,.....\delta_n \ )</math> são logicamente incompatíveis se, e somente se, a união entre eles <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> é incoerente. | #Um conjunto de frases <math>\Im</math>, e um número <math>n\geq1</math> de outras frases ou declarações <math>(\delta_1,\delta_2,.....\delta_n \ )</math> são logicamente incompatíveis se, e somente se, a união entre eles <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> é incoerente. |