In informatica ed elettronica, denominazione internazionale, composta dalla N di NOT e da OR, dell’operazione di inversione (o negazione) della somma logica OR fra variabilibooleane, della funzione corrispondente, [...] e anche del circuito che la realizza ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] a⋃a′=1, a⋂a′=0.
Un esempio tipico di algebra booleana è l'insieme di tutti i sottoinsiemi di un dato insieme V ;∣h∣>δ. Sia ora f(x) una qualsiasi funzione reale di una variabile reale e, per ogni x=ξ all'interno del suo intervallo di definizione, ...
Leggi Tutto
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 [...] esempio, ponendo l=amante, b=benefattore e i, j essendo variabili su individui nell'ambito degli esseri umani, gli enunciati 'i è Hailperin 1981: Hailperin, Theodore, Boole's algebra isn't Boolean algebra, "Mathematics magazine", 54, 1981, pp. 172-184 ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] la quantificazione esistenziale corrisponde alla proiezione parallela all'asse della variabile quantificata e quindi ogni proiezione di un insieme algebrico sarà una combinazione booleana di insieme algebrici di dimensione affine più bassa. È questo ...
Leggi Tutto