tavolatà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; [...] è soddisfacibile, ecc.). Analogam., in elettronica, tavole di verità di un circuito logico o digitale, tabelle che permettono di leggere i valori logici delle uscite del circuito, in corrispondenza delle diverse combinazioni dei valori logici che si ...
Leggi Tutto
veritaverità 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 [...] delle teorie di Aristotele e delleverità rivelate. b. In matematica e in logica matematica, il concetto di veritàverità fa riferimento a una struttura o a un modello di una teoria (v. vero, nel sign. 1 n). Per le espressioni funzione di v., tavole ...
Leggi Tutto
tabella
tabèlla s. f. [dal lat. tabella, dim. di tabŭla «tavola»]. – 1. a. Tavoletta di legno, o anche di altro materiale, usata nel passato per scriverci o disegnarci sopra (per le t. cerate e le t. [...] scritte varie, o per affiggervi avvisi, segnalazioni, indicazioni: il nome delle strade, un tempo, era scritto su tabelle di legno; accanto matrice, nel sign. 7 a); tabella di verità, lo stesso che tavola di verità (v. tavola, n. 4 b); t. di marcia ...
Leggi Tutto
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 [...] tra i valori assunti dagli argomenti e quelli assunti dalla funzione può essere illustrata in una tabella, detta tavola di veritàdella funzione (v. tavola, n. 4 b). 7. In fisica, relazione fra grandezze espressa da una funzione matematica; in partic ...
Leggi Tutto
power dressing (power-dressing) loc. s.le m. Modo di abbigliarsi conforme a uno stile formale, di solito caratterizzato da costosi vestiti confezionati su misura, scelto per sottolineare l’importanza del [...] breviario, la carta dei doveri, l’agenda, la tavoladelle leggi per il «power-dressing» ovvero il suggerimento molto entusiasmo figlio della nuova libertà sessuale… (Manuela Mimosa Ravasio, Rewriters.it, 2 febbraio 2021, blog La veritàdell'apparenza) ...
Leggi Tutto
mettere
méttere v. tr. [lat. mĭttĕre «mandare», nel lat. tardo «mettere»] (pass. rem. miṡi, mettésti, ecc. [pop. tosc. méssi, mésse, méssero]; part. pass. mésso). – Verbo di sign. ampio e generico, dai [...] andare; mettersi in un angolo; mettersi accanto al fuoco; mettersi a tavola; mettersi a letto (per lo più, s’intende per malattia, la verità. d. Adoperare, applicare a un determinato fine (detto soprattutto della propria attività, delle proprie ...
Leggi Tutto
invecchiare
v. intr. e tr. [der. di vècchio] (io invècchio, ecc.; come intr., aus. essere). – 1. intr. Di persona, diventare vecchio, avanzare nell’età assumendo l’aspetto senile: aver paura d’i.; si [...] a tavola non s’invecchia, il piacere dellatavola rende allegri e giovani, oppure il tempo che si passa a tavola non stenta a i.; è un libro che non invecchierà mai; la verità non invecchia, rimane inalterata e sempre valida anche col trascorrere del ...
Leggi Tutto
stare
v. intr. [lat. stare, da una radice indoeuropea] (pres. indic. sto 〈stò〉 [radd. sint.], stai, sta [radd. sint.], stiamo, state, stanno; pres. cong. stia [poet. ant. stèa], stia [poet. ant. stie], [...] in cucina; sta al timone; sta all’ufficio delle ipoteche; e così s. di sentinella, di tavola, s. a mensa; non sa s. a tavola, non sa comportarsi come si deve quando si è a tavola così e così, insistendo sulla puntuale verità di un fatto o di un’ ...
Leggi Tutto
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni [...] al connettivo doppia implicazione (v. tavola, n. 4 b: tavola di verità). In informatica, compare talvolta nella descrizione piuttosto tranquilli non fosse stato per la luna e quel chiarore dell’acqua quando è calma e grigia (Arpino). 2. Come ...
Leggi Tutto
trionfo
trïónfo (ant. trïunfo) s. m. [dal lat. triumphus, da un prec. triumpus, che si fa derivare dal gr. ϑρίαμβος «canto bacchico, trionfo», di origine incerta]. – 1. Il massimo onore che, in Roma [...] della giusta causa, per il t. dellaverità, o contro il t. del male; il t. dello spirito sulla materia; il t. della virtù, della giustizia, dell’innocenza; il t. della i quali si usava un tempo adornare le tavole da pranzo, anche con la funzione di ...
Leggi Tutto
Sigla di programmable logic array, che in microelettronica indica un insieme di transistori disposti a matrice in un circuito integrato e opportunamente connessi a un fascio di linee di ingresso e di uscita, in modo da realizzare una complessa...
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi verificatisi nell'ambito della l....