and
and uno degli operatorilogici fondamentali dell’algebra di → Boole, detto anche prodotto logico e indicato con ×. Corrisponde al connettivo ∧ della congiunzione che, dati due enunciati A e B, ne [...] cui sia A sia B siano veri ed è falso in tutti gli altri casi. La tavola di verità che esprime la funzione logica dell’operatore and è quindi la seguente (a e b indicano due qualsiasi espressioni booleane; 0 può essere interpretato come il valore di ...
Leggi Tutto
or
or uno degli operatorilogici fondamentali dell’ algebra di → Boole, detto anche somma logica e indicato con +. Corrisponde al connettivo ∨ della → disgiunzione. Tale operatore binario, dati due enunciati [...] :
L’operatore or gode della proprietà associativa e, per estensione, la sua applicazione a un qualsiasi numero di espressioni booleane dà 1 se e solo se almeno una di esse ha valore 1 (è vera). Esso realizza quindi una funzione logica che assegna ...
Leggi Tutto
not
not uno degli operatorilogici fondamentali dell’algebra di → Boole, anche denominato complemento. Corrisponde, in logica, al connettivo della negazione indicato con il simbolo ￢. Esso associa a [...] azione del connettivo ￢ è, quindi, la seguente:
tab
Nell’algebra di Boole, l’operatore not è anche indicato soprassegnando l’espressione a cui si riferisce, e realizza una funzione logica che assegna il valore 1 in uscita se il valore in ingresso è 0 ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazionilogiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] dalla presenza del segnale in uscita quando è presente il segnale in ciascuna delle entrate (fig. 1B); l’operatorelogico elementare di inversione o invertitore (NOT-gate o inverter), caratterizzato dalla presenza del segnale in uscita quando non è ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] assiomi propri della t.; se quest’ultimo sottoinsieme è vuoto, il sistema formale costituisce un calcolo logico. I calcoli logici in cui tra gli operatorilogici si usano soltanto i connettivi si dicono enunciativi, quelli in cui si adoperano anche i ...
Leggi Tutto
Disciplina tecnica che si occupa delle proprietà e delle applicazioni di dispositivi fluidodinamici nei quali ci si serve di una corrente liquida o, più spesso, aeriforme per ottenere risultati (per es., [...] o portata) tramite l’integrazione con altre vene fluide di differenti caratteristiche.
Analogia fluidica Uso di dispositivi, quali gli amplificatori e gli operatorilogici fluidici, nei quali si utilizza una corrente liquida o aeriforme per compiere ...
Leggi Tutto
Modelli matematici in immunologia
Ulrich Behn
(Institut für Theoretische Physik, Universitat Leipzig Lipsia, Germania)
Franco Celada
(Cattedra di Immunologia, Università di Genova Genova, Italia)
Philip [...] Ag←Ag e (non Ab).
I valori dei cinque parametri sono binari, cioè l oppure O, e le regole sono regole logiche: e, o, non, sono operatorilogici. Quindi la prima regola è da interpretarsi come segue: il valore di Ab sarà l solo se Ag, Ab e TH sono ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] di Frege era un calcolo dei predicati del secondo ordine, che utilizzava negazione, implicazione e quantificatore universale come operatorilogici di base, e conteneva un sistema completo per il calcolo proposizionale e dei predicati del primo ordine ...
Leggi Tutto
Banche dati e basi di dati
Guido M. Rey
Introduzione: banche dati e basi di dati
I termini 'banca di dati' e 'base di dati' sono entrati nell'uso corrente per indicare un sistema di dati memorizzati [...] le tuple i cui valori soddisfino determinate condizioni (a loro volta connesse dagli operatorilogici AND, OR, NOT): in sostanza, applicare questo operatore equivale a definire un sottoinsieme orizzontale della relazione considerata. Ad esempio, la ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] connettivi e quantificatori classici; LJ, il frammento intuizionista, in cui le sole polarità sono 0 e +1 e gli operatorilogici solo quelli intuizionisti; il frammento intuizionista neutro, in cui ci si limita alla polarità 0 e si considerano solo i ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...