aut
aut connettivo logico che corrisponde alla disgiunzioneesclusiva («o» alternativo). Per esempio, nella frase «Dopo la scuola media Carlo frequenterà il liceo scientifico o il liceo classico» la [...] disgiunzione «o» è usata in senso esclusivo; infatti, una sola delle due eventualità potrà essere vera. Dati due enunciati A e B, l’enunciato «A aut B» è vero nel caso in cui solo uno dei due enunciati è vero mentre è falso sia se essi sono entrambi ...
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
Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] 'App. III (ii, p. 692), ma resta quasi esclusa dalle due voci più ampie dell'Enciclopedia e dell'App. IV vera nel caso che 'p', o 'q', o entrambe siano vere; '∨e' indica la disgiunzioneesclusiva, per cui 'p ∨e q' è vera nel caso che 'p' sia vera, o ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Complementarita e oggetto quantistico
Catherine Chevalley
Complementarità e oggetto quantistico
L'opera di Niels Bohr, come spesso è stato sottolineato, [...] descrive la differenza fra le teorie classiche e la teoria quantistica come il passaggio da una congiunzione a una disgiunzioneesclusiva:
La descrizione dell'esperienza è esaustiva in ambedue i casi. Tuttavia in fisica classica essa si compie con ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] il simbolo “+” l’unione disgiunta), sia in termini proposizionali (x e y denotano proposizioni e il simbolo “+” denota la disgiunzioneesclusiva).
Se l’essenza della matematica non sta nel suo contenuto, ma nella sua forma, allora la nuova logica di ...
Leggi Tutto
enunciati, linguaggio degli
enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore di verità e per comporle tra loro, in modo tale che sia [...] a ∨ b. Questo connettivo rappresenta la disgiunzione inclusiva e non esclusiva; esso corrisponde al latino vel. La disgiunzioneesclusiva, corrispondente al latino aut, può essere ricondotta alla disgiunzione inclusiva di due congiunzioni, così come ...
Leggi Tutto
Le congiunzioni coordinative (o coordinanti) sono parole funzionali invariabili il cui compito è quello di collegare tra loro due o più elementi linguistici (principalmente sintagmi o frasi; i cosiddetti [...] costruzione. L’italiano concentra su o e oppure entrambi i valori che, dunque, non sono distinti lessicalmente:
(26) disgiunzioneesclusiva
La bella bambina dai capelli turchini fa raccogliere il burattino: lo mette a letto, e chiama tre medici per ...
Leggi Tutto
exor
exor in logica, operazione definita in un’algebra di Boole, talvolta indicata anche con xor. Data una coppia di variabili booleane a e b, tali cioè da poter assumere solo i valori 0 e 1, l’exor [...] a 1, mentre è uguale a zero negli altri casi.
Dal punto di vista della logica degli enunciati l’operazione exor corrisponde alla → disgiunzioneesclusiva aut: dati due enunciati A e B, l’enunciato A aut B è infatti vero se e solo se è vero uno solo ...
Leggi Tutto
Conoscenza umana tra verità e scetticismo
Massimo Dell’Utri
Nuove idee su un vecchio problema
Che cosa si debba intendere per conoscenza, quali ne siano le fonti e quali i metodi per ottenerla sono [...] apparenza oppure è un oggetto (o un fatto) vero e proprio, immediatamente presente. È questa disgiunzione ‘esclusiva’ che costituisce la caratterizzazione metafisicamente ed epistemologicamente più chiara tanto della percezione veridica quanto della ...
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....