The Example of Pluto

NODE ASSERTION JUSTIF. JUSTIFIED

N1 If X is a dog nil N3

then X is a mammal

N2 Pluto is a dog nil N3

N3 Pluto is a mammal N1, N2 nil

If PS asserts that N2 is not believed any more, also N3 becomes OUT, unless ...

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica