• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
il chiasmo
lingua italiana
343 risultati
Tutti i risultati [343]
Matematica [60]
Diritto [56]
Temi generali [45]
Filosofia [43]
Economia [26]
Fisica [27]
Scienze demo-etno-antropologiche [26]
Storia della matematica [20]
Biografie [20]
Medicina [17]

se e solo se

Dizionario delle Scienze Fisiche (1996)

se e solo se sé e sólo sé [ALG] [FAF] Uno dei connettivi logici, e precis. equivalenza logica o bicondizionale logico, di simb. ↔; agisce su due enunciati A e B trasformandoli nell'unico enunciato (doppia [...] implicazione) A ↔ B che risulta vero se A e B sono entrambi veri o entrambi falsi, e falso in ogni altro caso ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su se e solo se (2)
Mostra Tutti

proposizioni logicamente equivalenti

Enciclopedia della Matematica (2013)

proposizioni logicamente equivalenti proposizioni logicamente equivalenti proposizioni che hanno identiche tavole di verità essendo vere o false in corrispondenza degli stessi valori di verità delle [...] lettere enunciative che vi compaiono (→ equivalenza logica). ... Leggi Tutto
TAGS: TAVOLE DI VERITÀ

LOGICA MATEMATICA

Enciclopedia Italiana (1934)

LOGICA MATEMATICA Beppo LEVI * . Logica matematica ovvero logistica o logica simbolica o algebra della logica o logica teorica o logica della matematica sono termini fra loro parzialmente equivalenti, [...] ) ovvero per comprensione (verificazione di determinate proposizioni). Tale correlazione è considerata da alcuni come assoluta equivalenza, per la quale la logica potrebbe tacere di una delle due teorie, siccome doppione dell'altra. Ciò è vero se si ... Leggi Tutto
Mostra altri risultati Nascondi altri risultati su LOGICA MATEMATICA (9)
Mostra Tutti

Logica

Enciclopedia del Novecento (1978)

Logica CChaïm Perelman di Chaïm Perelman Logica sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo [...] introdurre, per mezzo di definizioni classiche, gli altri operatori della logica, e in particolare i segni che indicano la somma logica, l'implicazione e l'equivalenza, nonché il quantificatore universale (‛per ogni X'). Per completare l'arsenale ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: PRINCIPIO DEL TERZO ESCLUSO – TEORIA DELLA DIMOSTRAZIONE – ARTICOLO DETERMINATIVO – RAGIONAMENTO INDUTTIVO – RAGIONAMENTO DEDUTTIVO
Mostra altri risultati Nascondi altri risultati su Logica (9)
Mostra Tutti

geometria

Enciclopedia on line

In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali. Cenni storiciL’antichità - L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] nel piano, conveniamo di dire che una figura piana F è equivalente, rispetto a G, a un’altra figura F′quando esiste una s’intende che non sono però in contraddizione, dal punto di vista logico, con i postulati. Esistono due tipi di g. non euclidea, ... Leggi Tutto
CATEGORIA: GEOMETRIA
TAGS: OPERAZIONI DI PROIEZIONE E SEZIONE – TEORIA QUANTISTICA DEI CAMPI – TEORIA DELLE SUPERSTRINGHE – POSTULATO DELLE PARALLELE – METODO DELL’ASSONOMETRIA
Mostra altri risultati Nascondi altri risultati su geometria (13)
Mostra Tutti

semantica

Enciclopedia on line

semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] di ‘vero-in-L’, bensì come teoria del significato per L. Le equivalenze metalinguistiche della forma ‘E è vero-in-L se, e solo se, al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme ... Leggi Tutto
CATEGORIA: LINGUISTICA GENERALE – LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA GENERATIVA – TEORIA DEGLI INSIEMI – LOGICA INTUIZIONISTA
Mostra altri risultati Nascondi altri risultati su semantica (8)
Mostra Tutti

analisi

Enciclopedia on line

Chimica Generalità L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] successivamente, da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d’ insieme e alle relazioni che sussitono tra insiemi quali equivalenza, intersezione, complementazione ecc. Tratto comune a tutti i ... Leggi Tutto
CATEGORIA: FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – TEMI GENERALI – STRUMENTI MUSICALI – CHIMICA ANALITICA – CHIMICA FISICA – STRUMENTI – FISICA MATEMATICA – ANALISI MATEMATICA – STORIA E FILOSOFIA DEL DIRITTO – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO – METAFISICA – PEDAGOGIA – BIOGRAFIE – PSICANALISI – PSICOLOGIA COGNITIVA – PSICOLOGIA DELL ETA EVOLUTIVA – PSICOLOGIA GENERALE – PSICOLOGIA SOCIALE – PSICOLOGIA SPERIMENTALE – PSICOMETRIA – PSICOTERAPIA – STORIA DELLA PSICOLOGIA E DELLA PSICANALISI – ARCHIVISTICA BIBLIOGRAFIA E BIBLIOTECONOMIA
TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – EQUAZIONI DIFFERENZIALI ORDINARIE – EQUAZIONI ALLE DERIVATE PARZIALI – TEORIA DELLE RAPPRESENTAZIONI – RISONANZA MAGNETICA NUCLEARE
Mostra altri risultati Nascondi altri risultati su analisi (3)
Mostra Tutti

modello

Enciclopedia on line

In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] interpretazioni che rendono vera H (tutte le formule di M) rendono vera anche K. Due formule H e K si dicono logicamente equivalenti se e solo se ciascuna è conseguenza dell’altra. Un’interpretazione per un linguaggio L dicesi un m. per un insieme M ... Leggi Tutto
CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM
Mostra altri risultati Nascondi altri risultati su modello (6)
Mostra Tutti

insieme

Enciclopedia on line

Fisica Nella meccanica statistica classica con i. statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè [...] e si può far vedere che, in generale, si ha equivalenza tra le termodinamiche descritte dai due i. se la costante k e da T. Skolem; è da rilevare come l’uso del formalismo logico nella teoria degli i., introducendo tutto il rigore che è proprio di ... Leggi Tutto
TAGS: DISTRIBUZIONI DI PROBABILITÀ – ASSIOMA DI ESTENSIONALITÀ – CORRISPONDENZA BIUNIVOCA – FUNZIONE DI PARTIZIONE – MECCANICA QUANTISTICA
Mostra altri risultati Nascondi altri risultati su insieme (5)
Mostra Tutti

relazione

Enciclopedia on line

Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti. Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] r. di equivalenza se è riflessiva, simmetrica e transitiva; essa induce sul suo campo una partizione in classi di equivalenza. Una r. operazioni specifiche, dette peirciane o schröderiane, dai nomi dei logici C.S. Peirce e E. Schröder che le hanno ... Leggi Tutto
CATEGORIA: FISIOLOGIA VEGETALE – ALGEBRA – DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE – DIRITTO DEL LAVORO – STORIA E FILOSOFIA DEL DIRITTO – FINANZA E IMPOSTE – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO
TAGS: POLITICA ESTERA E DI SICUREZZA COMUNE – ECONOMIA E DELLE FINANZE – DIRITTO INTERNAZIONALE – TEORIA DEGLI INSIEMI – COMMISSIONE EUROPEA
Mostra altri risultati Nascondi altri risultati su relazione (2)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 35
Vocabolario
OR
OR ‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di disgiunzione o somma logica di due o più...
valóre
valore valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali