Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] se la proposizione a cui si applica la negazione è falsa, e viceversa; si può rappresentare tale f. con il seguente schema (o tavoladiverità):
dove, nella colonna di destra, è segnato il valore che la f. (e quindi la proposizione ‘non p’) assume ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] una formula del linguaggio enunciativo è valida o no, se è soddisfacibile o no, mediante le cd. tavolediverità che prendono in considerazione tutte le possibili interpretazioni per le proposizioni elementari.
Logica dei predicati
Sono presenti in ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] binarie hanno valore diverso tra loro. Quanto sopra può essere esteso al caso di più variabili binarie. Le tabelle 1 e 2 sono dette anche tavolediverità delle operazioni logiche che in esse compaiono.
Ciascuno dei circuiti digitali impiegati per ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] lineari, paraconsistenti e dialettiche.
In queste logiche la presenza nel linguaggio di operatori non classici rispecchia la divergenza della loro semantica basata su tavolediverità a più valori, rispetto alla semantica standard, che è rigidamente ...
Leggi Tutto
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] dell'indecidibilità del calcolo dei predicati; poco dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavolediverità per la logica elementare, proponendo inoltre un sistema formale in cui ciascuna variabile potesse assumere non ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] tutte valore 1; (c) l'inversione o negazione (operazione NOT) di una variabile, come l'operazione il cui risultato dà il valore alternativo di x; per le rispettive tavolediverità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG ...
Leggi Tutto
F
F 〈èffe〉 [Forma maiusc. della lettera f] [ALG] [FAF] Nella logica matematica, simb. di falso, usato partic. nelle tavolediverità. ◆ [ASF] Simb. di un tipo spettrale di stelle, diviso in 10 sottoclassi, [...] : III 301 f. ◆ [MTR] [EMG] Simb. del farad. ◆ [MTR] [TRM] °F è simb. del grado Fahrenheit di temperatura. ◆ [OTT] Simb. della riga di Fraunhofer di lunghezza d'onda 486.2 nm nella regione blu del visibile. ◆ [MCQ] Modello F: v. modelli risolubili in ...
Leggi Tutto
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] prime cifre significative in queste tavole è una variabile casuale X che assume valori 1, 2,..., 9 tali che p(X = k) = log(k + 1) − log k. Sono state avanzate molte spiegazioni di questo fenomeno, ma fino a ora nessuna sembra veramente convincente.
f ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] una via alla verità più certa della filosofia scolastica. I teoremi di Euclide, affermava di trattati autonomi. Tali applicazioni andavano dalle tavoledi conversione ‒ per esempio di misure, monete o prezzi attraverso regole che consentivano di ...
Leggi Tutto
Il Rinascimento. L'astronomia
J.V. Field
L'astronomia
Gli storici dell'arte e delle discipline umanistiche si sentirebbero forse a proprio agio definendo 'Rinascimento' il periodo che va dal 1400 al [...] proprio programma si tratta, dal momento che egli si era proposto di mostrare la verità, vale a dire la verità fisica del sistema copernicano. Il continuo successo delle Tavole rudolfine, che corroboravano l'eliocentrismo, lo portò molto vicino alla ...
Leggi Tutto
tavola
tàvola s. f. [lat. tabŭla]. – 1. Asse di legno di spessore sensibilmente minore della lunghezza e della larghezza: segare, piallare una t.; accatastare le t.; chiudere un’apertura con tre t. inchiodate; t. di salvezza, quella a cui...
verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non credere alla v. delle parole di qualcuno;...