L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] x+y, indicante la classe degli oggetti che sono x oppure y, ma non entrambi. La somma corrisponde all'uso esclusivo della disgiunzione e ammette un'operazione inversa: la sottrazione, che Boole designa con il consueto segno '−'. Con '1' egli indica l ...
Leggi Tutto
In logica matematica è uno dei connettivi logico-proposizionali; si interpreta come l’«o» alternativo oppure «o» debole, per cui l’espressione «p o q» è vera quando almeno uno dei due enunciati p, q è [...] vero (non si esclude però che lo siano entrambi). In questo caso si usa il simbolo logico «⋁» o altro segno equivalente. La d. esclusiva che si indica per es. con «v̇» corrisponde invece all’«o» disgiuntivo, per cui «p o q» è vera se e solo se uno ...
Leggi Tutto
disgiunzione
disgiunzióne s. f. [dal lat. disiunctio -onis, der. di disiungĕre «disgiungere»]. – 1. Il disgiungere, l’essere disgiunto: la d. delle forze nemiche. 2. Nella logica, proposizione il cui predicato è costituito da termini che si...
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....