Premises

A node is called premise if it has a justification such as:

(SL ( ) ( )).

This node will be always IN, independently from the status of the other nodes.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica