• 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
lingua italiana
4 risultati
Tutti i risultati [32]
Matematica [4]
Filosofia [7]
Logica [3]
Dottrine teorie e concetti [1]
Storia del pensiero filosofico [1]
Storia della matematica [2]
Medicina [2]
Biografie [2]
Temi generali [1]
Storia [1]

LOGICA MATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

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 [...] dice che I è modello di H, oppure che I soddisfa H. La forma enunciativa H si dice una "fbf valida" o una "tautologia" o un'"identità" se ogni interpretazione I è modello di H: si dice "soddisfacibile" se ammette almeno un modello. Tavole di verità ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI
Mostra altri risultati Nascondi altri risultati su LOGICA MATEMATICA (9)
Mostra Tutti

tautologia

Enciclopedia della Scienza e della Tecnica (2008)

tautologia Silvio Bozzi Termine che definisce ogni formula di un linguaggio preposizionale che sia logicamente valida, vale a dire vera in ogni interpretazione delle costanti extralogiche (le costanti [...] non hanno contenuto reale ma riflettono pure convenzioni sull’uso del linguaggio e il significato dei simboli. La nozione di tautologia si può estendere a tutte le logiche proposizionali che abbiano una semantica in termini di matrici M=〈W,D〉, dove ... Leggi Tutto
CATEGORIA: LOGICA
Mostra altri risultati Nascondi altri risultati su tautologia (4)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. Le logiche modali

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Le logiche modali Fabio Bellissima Paolo Pagli Le logiche modali L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] come questo, che possono cambiare valore di verità al variare del modello di riferimento, esiste una classe di enunciati ‒ le tautologie ‒ che sono veri in ogni modello, e una classe di enunciati ‒ le contraddizioni ‒ che sono invece falsi in ogni ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

La Rivoluzione scientifica: i domini della conoscenza. Le innovazioni di Luca Valerio e di Bonaventura Cavalieri

Storia della Scienza (2002)

La Rivoluzione scientifica: i domini della conoscenza. Le innovazioni di Luca Valerio e di Bonaventura Cavalieri Pier Daniele Napolitani Le innovazioni di Luca Valerio e di Bonaventura Cavalieri L'eredità [...] gli indivisibili di una figura diventano indistinguibili dalla figura stessa e i teoremi II.2 e II.3 si risolvono in tautologie. Altrettanto strutturalmente debole è il principio "ut unum ad unum, sic omnia ad omnia", che abbiamo visto all'opera qui ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA
Vocabolario
tautologìa
tautologia tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...
tautològico
tautologico tautològico agg. [der. di tautologia] (pl. m. -ci). – Di tautologia, che ha carattere di tautologia, o costituisce una tautologia: proposizione, definizione t.; formazione toponomastica t. (per es., Linguaglossa); denominazione...
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