scambio, regola di

scambio, regola di

scambio, regola di in logica, regola strutturale del calcolo dei → sequenti, che consente di permutare l’ordine delle formule che compaiono nelle premesse (a sinistra del simbolo di sequente) o nelle conseguenze (a destra del simbolo di sequente). Si distingue così tra la regola di scambio a destra e la regola di scambio a sinistra (nelle seguenti scritture A e B rappresentano formule ben formate di un linguaggio logico, mentre Γ, Δ, Δ′ rappresentano sequenze finite di formule ben formate dello stesso linguaggio):

formula

formula