se-allora

Dizionario delle Scienze Fisiche (1996)

se-allora sé-allóra [ALG] [FAF] Uno dei connettivi logici, e precis. implicazione logica o condizionale logico, di simb. →; agisce su due enunciati A e B trasformandoli nell'unico enunciato A→B, che [...] risulta falso se A è vero mentre B è falso, e vero in ogni altro caso; corrisponde all'"implicazione materiale", già conosciuta da Filone Megarico ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

connettivi generalizzati

Enciclopedia della Scienza e della Tecnica (2008)

connettivi generalizzati Settimo Termini John von Neumann aveva osservato già nel 1951 che la forma rigida della logica classica poneva una forte limitazione all’espressività di linguaggi di tipo logico [...] ’altro anche lui di una idea di ‘insieme sfumato’, la nozione di ensemble flou – diversi autori propongono vari connettivi logici generalizzati. Questi sviluppi possono vedersi come una parziale realizzazione dell’intuizione di von Neumann a cui si è ... Leggi Tutto

CATEGORIA: LOGICA

lògica matemàtica

Enciclopedia on line

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 [...] enunciati Permette di stabilire la verità o falsità di un enunciato formato da proposizioni semplici e connettivi logici: congiunzione (e), disgiunzione (o), negazione (non), implicazione (se... allora...), in ragione della verità o falsità delle ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA

probabilità

Enciclopedia on line

Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] operazioni di congiunzione, disgiunzione, negazione. Poiché le proprietà di queste operazioni sono identiche a quelle dei consueti connettivi logici booleani e, o, non, una famiglia di eventi, chiusa rispetto a esse, viene detta un’algebra booleana ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – MECCANICA QUANTISTICA – STATISTICA E CALCOLO DELLE PROBABILITA

TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – PRINCIPIO DI SOVRAPPOSIZIONE – TEOREMA DEL LIMITE CENTRALE – DISTRIBUZIONE MULTIVARIATA – DISUGUAGLIANZA DI ČEBYŠËV

segno

Enciclopedia on line

segno Fatto, manifestazione, fenomeno da cui si possono trarre indizi, deduzioni, conoscenze ecc. Qualsiasi oggetto o più spesso figura che sia convenzionalmente assunta come espressione e rappresentazione [...] dei primi sono i termini che fissano l’ambito di denotazione, come ‘tutti, alcuni ecc.’, dei secondi i connettivi logici, dei terzi i s. d’interpunzione, le intonazioni o modulazioni della voce, quelli che la linguistica moderna classifica come ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – TEMI GENERALI – STORIA DELL ASTRONOMIA – STORIA DELLA MATEMATICA – STORIA E FILOSOFIA DEL DIRITTO – FILOSOFIA DELLA STORIA – ORDINI CONGREGAZIONI E CULTI MARGINALI – STORIA DELLE RELIGIONI – NUMISMATICA E SFRAGISTICA

TAGS: LINGUISTICA STRUTTURALE – CORPUS HIPPOCRATICUM – MEDICINA IPPOCRATICA – LINGUE ARTIFICIALI – NUMERI RELATIVI

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

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 [...] insiemi sfumati si diranno identici se gli stessi oggetti appartengono a essi con lo stesso grado di appartenenza. I connettivi logici riproducono le operazioni insiemistiche e la logica che ne risulta ammette infiniti valori intermedi tra 0 e 1. La ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

logica

Dizionario delle Scienze Fisiche (1996)

logica lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivi logici che si premettono o si interpongono tra enunciati, senza analizzare all'interno di questi i rapporti tra ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

enunciato

Dizionario delle Scienze Fisiche (1996)

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 connettivi logici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

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