Base di connettivi

Con base di connettivi s'intende un sottoinsieme di connettivi logici coi quali è possibile dare la definizione logica di tutti gli altri connettivi. Questa proprietà viene chiamata anche completezza funzionale.^[1]^[2]

Formano una base di connettivi, ad esempio, negazione, congiunzione e disgiunzione, oppure negazione e condizionale materiale.

Quest'ultima base di connettivi^[quale?] è pertanto utilizzata per il sistema ipotetico-deduttivo dato dagli assiomi di Hilbert.

Tra le basi di connettivi più potenti (in quanto contengono un solo connettivo) vi sono i funtori di Sheffer.

Note

[modifica | modifica wikitesto]

^ Herbert Enderton, A mathematical introduction to logic, 2nd, Boston, MA, Academic Press, 2001, ISBN 978-0-12-238452-3.. ("Complete set of logical connectives").
^ John Nolt, Dennis Rohatyn e Achille Varzi, Schaum's outline of theory and problems of logic, 2nd, New York, McGraw–Hill, 1998, ISBN 978-0-07-046649-4.. ("[F]unctional completeness of [a] set of logical operators").

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica

Estratto da "https://it.wikipedia.org/w/index.php?title=Base_di_connettivi&oldid=140388452"

[Enderton2001-1] Herbert Enderton, A mathematical introduction to logic, 2nd, Boston, MA, Academic Press, 2001, ISBN 978-0-12-238452-3.. ("Complete set of logical connectives").

[Nolt1998-2] John Nolt, Dennis Rohatyn e Achille Varzi, Schaum's outline of theory and problems of logic, 2nd, New York, McGraw–Hill, 1998, ISBN 978-0-07-046649-4.. ("[F]unctional completeness of [a] set of logical operators").

[1]

[2]