legame par

Enciclopedia della Matematica (2013)

legame par


legame par in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola di introduzione della disgiunzione moltiplicativa (detta par e indicata anche con il simbolo ℘; → logica lineare). Il legame par ha due premesse etichettate dalle formule A e B e una conclusione etichettata dalla formula A ℘ B (→ proof-net).

Tag
Vocabolario
par¹
par1 par1 agg. e s. m. – 1. Forma tronca di pari1, frequente soprattutto in unione con un agg. possessivo sing. (da par suo, un par mio) e in qualche locuz. come al par di lui e sim. (v. pari1). 2. Forma tronca di paro, variante di paio,...
par²
par2 par2 ‹pàa› s. ingl. [propr., «parità», dal lat. par «pari1»] (pl. pars ‹pàa∫), usato in ital. al masch. – Nel gioco del golf, il numero ideale di colpi fissato per ciascuna buca; sommando i par delle varie buche, si ottiene il par...