Assumed Nodes

An assumed nodes is neither a premise nor an assumption and has a justification mentioning an assumption.

For example:

a, {{A}}, {(A)}

represnts the assumed node a which holdes under the assumption A.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica