enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivilogici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia ...
Leggi Tutto
o
o [Forma min. della 15a lettera dell'alfab. it.] [FAF] Connettivologico che ha tre signif.: (a) o inclusivo, il più frequente, corrisponde al lat. vel ed è detto disgiunzione dalla scuola di Peano [...] si escludono a vicenda (per es., "circuito elettrico aperto o chiuso"); qui di seguito sono date le tavole di verità delle due funzioni logiche corrispondenti AUT e VEL, indicandosi con a e b i due termini connessi e con v e f, rispettiv., "vero" e ...
Leggi Tutto
E
E [Forma maiusc. della lettera e] [ASF] Una delle componenti della corona (←) solare. ◆ [GFS] Simb. del punto cardinale est. ◆ [CHF] Simb. dell'elemento chimico einsteinio. ◆ [FAF] (a) Simb. del connettivo [...] (←) logico; (b) una E ribaltata, ∃, è simb. del quantificatore (←) esistenziale. ◆ [MTR] Simb. del prefisso metrologico SI exa-. ◆ [ALG] E(x) indica la parte intera del numero x. ◆ [ASF] E₂ è il simb. della riga spettroscopica di Fraunhofer di ...
Leggi Tutto
non
nón [Lat. non] [LSF] Avv. di negazione, usato anche, con valore negativo, davanti ad altre parole, sia staccato da esse (com'è usuale in questa Enciclopedia), sia unito con un trattino oppure unito [...] direttamente, a formare una parola composta (che qui si troverà, in genere, separata nei suoi elementi). ◆ [ALG] [FAF] Connettivologico di negazione: → connettivo: C. logico. ...
Leggi Tutto
connettivoconnettivo [agg. e s.m. Der. di connettere (→ connesso) "elemento di congiunzione, di collegamento"] [FAF] C. logico: nella logica matematica, tipo di funzione di verità, cioè termine che [...] (negazione, congiunzione, disgiunzione, implicazione, ecc.) che alla verità o falsità di una o più proposizioni associa la verità o falsità di un'altra proposizione, costruita a partire dalle precedenti tramite il c. stesso: v. logica: III 483 c. ...
Leggi Tutto
congiunzione
congiunzióne [Der. del lat. coniunctio -onis "atto ed effetto del congiungere o del congiungersi", dal part. pass. coniunctus di coniungere "congiungere", comp. di cum "insieme" e iungere [...] costituito dagli elementi che si trovano sia in A che in B; si chiama anche intersezione o prodotto logico. ◆ [FAF] C. logica: il connettivo enunciativo "e" (simb. ⌃); collega due enunciati, formandone uno che risulta vero se e solo se entrambi gli ...
Leggi Tutto
bicondizionale
bicondizionale [agg. e s.m. o f. Comp. di bi- e condizionale "che comporta due condizioni"] [FAF] Nella logica, la locuz. "se e soltanto se" (→ anche connettivo: C. logico). ...
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...
connettivo
agg. e s. m. [der. di connettere]. – 1. agg. a. Che connette o serve a connettere. In partic., in istologia, tessuto c. (o, come sost., il connettivo), vasto gruppo di tessuti (c. propriamente detto, c. adiposo, c. cordoide o vescicolare,...