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
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
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
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] e costituiscono, con le relative inferenze, l'oggetto tradizionale della logica classica. Essa è caratterizzata dal fatto che gli operatorilogici (congiunzione, disgiunzione, implicazione, negazione) sono 'verofunzionali': il loro comportamento è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] di uno spazio topologico T ordinato per inclusione, dove U→V:=Interno (V (T U)). Le operazionilogiche ∧, ⋁, →, ¬ corrispondono alle operazioni di reticolo ∧, ⋁, → e all'operazione definita ¬a:=a→0, dove 0 è l'elemento minimo del reticolo (un'algebra ...
Leggi Tutto
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] struttura di semigruppo con unità; l’o. ω1 ω2 si dice prodotto degli operatori ω1 e ω2 nell’ordine; questi si dicono permutabili qualora ω1 ω2=ω2 ω1 far uso di trasformazioni integrali.
O. logico
In logica matematica è un simbolo che trasforma una ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] e la teoria delle equazioni di 3° e 4° grado per opera di algebristi italiani (S. Dal Ferro, N. Tartaglia, G. assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ...
Leggi Tutto
Livello massimo, al di sopra o al di sotto del quale si verifica un fenomeno.
Fisica
Angolo limite
In ottica, nel passaggio di un raggio da un mezzo a un altro con indice di rifrazione assoluto inferiore [...] ideatori del calcolo infinitesimale, e successivamente sistemata in forma logica precisa nel 19° sec. da B. Bolzano, L dirà che la funzione è continua in x0; in tal caso gli operatori ‘limite’ e ‘funzione’ sono, tra loro, permutabili.
Quando, invece ...
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,...