tavola semantica
tavola semantica o tableau semantico, in logica, diagramma ad albero, detto anche albero di refutazione (→ refutazione) elaborato originariamente da E.W. Beth nel 1955 per refutare una formula in un sistema formale. Per dimostrare una formula A si cerca di refutare ¬A (vale a dire la negazione di A).