cont.d

{ }

{A}

{B}

{C}

{A, B}

{A, C}

{B, C}

{A, B, C}

Not all sets of assumptions can be considered. For example A may correspond to an assertion and C to its negation, and so they are contradictory. Or, it may happen that A corresponds to a fact in the domain which can not be combined with the fact represen

In such cases, the environment which contain both A and C are nogood (marked with a bold frame in the example).

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica