algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] x ∧ y) ∧ z = (x ∨ y) ∨ z =
= x ∧ (y ∧ x) = x ∨ (y ∨ x)
x ∧ (x ∨ y) = x x ∨ (x ∧ y) = x.
All’inverso se un’algebra 〈A,∧,∨〉 soddisfa gli assiomi di sopra e definiamo x≤y se x∧y=x, avremo che 〈A,≤〉 risulta un reticolo di cui ∧ e ∨ sono rispettivamente l ...
Leggi Tutto
proposizionale
proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato ...
Leggi Tutto
Diritto
C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] verbale, N = nome, V = verbo, Art = articolo.
Matematica
Nozione che unifica e generalizza situazioni che si presentano in algebra, topologia, teoria degli insiemi ecc. Una c. è data quando siano fissate due classi di enti matematici, la classe O e ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] compresa. Tali formule, e in particolare il triangolo e il teorema, si ritrovano spesso riprodotte nei libri di ḥisāb e di algebra. Si trovano fra gli altri nel Miftāḥ al-ḥisāb di al-Kāšī; nel libro di Ibn al-Mālik al-Dimašqī, al-Is῾āf al-atamm ...
Leggi Tutto
meno
méno [Der. del lat. minus, comparativo di parvus "piccolo"] [ALG] Segno con vari signif.: (a) simb. dell'operazione di sottrazione, anche nel signif. che tale operazione ha nell'algebra astratta; [...] (b) qualifica di un numero relativo negativo (per es., -5 "m. 5"); (c) l'opposto di un numero relativo positivo (il numero di uguale valore assoluto e segno opposto: per es., -a "m. a" è l'opposto di a); ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] Society di Cambridge e G. Boole
Il quadro cambia se ci si sposta in Inghilterra, dove il fiorire degli interessi algebrico-matematici troverà sbocco nella grande opera di G. Boole. Si era infatti formata a Cambridge la Analytical Society (1812 ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] e di Nicomaco di Gerasa e, verosimilmente, anche quelle di Ṯābit ibn Qurra sui numeri amicabili, e gli erano familiari anche l'algebra elementare, la teoria dei numeri e alcuni lavori di analisi diofantea; ma ignorava, a quanto pare, la ricerca a lui ...
Leggi Tutto
AND
AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatore logico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebra booleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavola di verità. ...
Leggi Tutto
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...
algebraico
algebràico agg. [der. di algebra] (pl. m. -ci), ant. – Algebrico: più quantità complesse a. ammettono un comune divisore (Beccaria); gli uomini del dì d’oggi vogliono dappertutto analisi, dimostrazioni e ciffre a. (A. Verri).