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à

Enciclopedia Italiana - IV Appendice (1979)

LOGICA MATEMATICA

LOGICA 

Guido Calogero

. Il termine di "logica" λογικὴ τέχνη, ἀρετή "arte abilità logica": oppure τὸ λογικόν, sottinteso μέρος τῆς ϕιλοσοϕίας "la sezione logica della filosofia") entrò nell'uso specialmente [...] costanza formale e non già come regola per la formulazione di giudizî, che sarebbero in tal modo riusciti meramente tautologici. Il giudizio reale, in cui il particolare soggetto s'illuminava alla luce di un universale predicato, aveva luogo bensì

LOGICA

tautologia 

tautologia (dal greco tautós, «stesso, identico» e lógos, «ragionamento») in logica matematica, proposizione che risulta vera indipendentemente dal valore di verità delle singole parti che [...] a ∨ ￢a è anche nota sotto il nome di principio del terzo escluso o tertium non datur.
Non è invece una tautologia un enunciato che non risulti sempre vero a seconda dei valori di verità degli enunciati componenti, quale per esempio il seguente:


Una

tautologia

neoempirismo 

neoempirismo [Comp. di neo- e empirismo] [FAF] Termine con il quale sono designate correnti filosofiche ed epistemologiche di fine Ottocento e del Novecento (pragmatismo, neopositivismo, [...] , desumono i propri contenuti: strutture e strumenti formati (logica, matematica) sarebero incapaci di produrre novità conoscitive, conservando un valore utilitario o riducendosi alla messa in evidenza di formulazioni equivalenti (tautologie).

neoempirismo

validita 

validità in logica, proprietà di una formula di essere vera per ogni interpretazione dei simboli che vi compaiono. Per esempio, la formula ∀x(x = x) (si legge «per ogni x, x = x») è vera per [...] mentre è falsa se x viene interpretata come numero intero.
Nel linguaggio degli → enunciati le formule valide sono le tautologie, cioè gli enunciati che risultano veri per ogni valore di verità dei singoli enunciati atomici che vi compaiono. Nel

validita

enunciati, linguaggio degli 

enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore di verità e per comporle tra loro, in modo tale che sia [...] A ⇒ (B ⇒ A)
b) (A ⇒ (B ⇒ C)) ⇒ ((A ⇒ B) ⇒ (A ⇒ C))
c) (￢ B ⇒ ￢A) ⇒ ((￢ B ⇒ A) ⇒ B)
Gli assiomi costituiscono tre tautologie (il primo assioma è la legge dell’«a fortiori»);
• come regola di inferenza (o di deduzione) si sceglie il → modus ponens, che

enunciati, linguaggio degli

non monotonicità 

Claudio Pizzi

Mentre la regola di monotonicità (a) A→B ⊦(A∧C)→B e la sua variante metalinguistica (b) Γ⊦B solo se Γ ∪{C}⊦ B valgono incondizionatamente nella logica standard, c’è un’ampia [...] la motivazione del fallimento è diversa. Nelle logiche connessive, in cui le contraddizioni implicano solo contraddizioni e le tautologie solo tautologie, C potrebbe essere inaccettabile in quanto A∧¬A è una contraddizione, mentre B può essere o non

Enciclopedia della Scienza e della Tecnica (2008)

non monotonicita

Daniele Ruini

 
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
L’esperienza mistica è fondata sulla parola, detta o scritta, indispensabile per comunicare [...] di una nuova verbalizzazione di Dio, che passa attraverso l’uso insistito di alcune figure retoriche, quali ossimori e tautologie, e che rende possibile esprimere l’ineffabile.

La via mistica
Giovanni Pozzi
Una parola ricevuta e ridata
  L’alfabeto

Storia della civiltà europea a cura di Umberto Eco (2014)

Scrittura mistica e spiritualità femminile

proposizioni, calcolo delle 

proposizioni, calcolo delle calcolo logico sviluppato nell’ambito del linguaggio degli → enunciati, detto anche calcolo proposizionale. I suoi oggetti sono le proposizioni, [...] come assiomi, attraverso una catena di → deduzione.
Nel calcolo delle proposizioni si possono derivare formalmente tutte le → tautologie, cioè le forme proposizionali sempre vere per ogni valore di verità delle proposizioni atomiche che le compongono

proposizioni, calcolo delle

verita, tavola di 

verità, tavola di metodo semantico della logica proposizionale (→ enunciati, linguaggio degli) per determinare il valore di verità («vero» V oppure «falso» F) di un enunciato composto [...] è valido, cioè vero per qualsiasi interpretazione.
Ciò avviene nel linguaggio degli enunciati nel caso di → tautologie; simmetricamente, un enunciato che è falso, indipendentemente dai valori di verità dei suoi costituenti, è una → contraddizione

verita, tavola di

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, ...

tautologìa

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 ...