Initial State
New state, caused by
the insertion of a new
justification
OUT
IN
OUT
OUT
OUT
OUT
OUT
OUT
IN
IN
OUT
OUT
IN
IN
IN
IN
IN
IN
OUT
IN
Premise
IN
IN
| Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |