Changes

#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 compatíveis se, e somente se, a união entre eles <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> for coerente.

#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 compatíveis se, e somente se, a união entre eles <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> for coerente.

#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> are logically incompatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is incoherent.

#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> is incoherent.

Let us try to follow this reasoning with practical examples:

Let us try to follow this reasoning with practical examples: