inferenza, regoladiinferenza, regoladi locuzione equivalente a regoladi deduzione o regoladi derivazione logica (→ deduzione, regoladi); essa designa una regola che permette di passare da una affermazione [...] (da A ∨ B vera e da A ⇒C e B ⇒C vere, si deduce la verità di C):
Regolediinferenzadi introduzione o eliminazione di quantificatori sono presenti anche nel linguaggio
dei predicati:
• eliminazione del quantificatore universale (se è vera ∀xA(x ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regoladi deduzione [...] compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regoladi separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l'espressione H→K può ...
Leggi Tutto
modus tollens
modus tollens in logica, regoladi deduzione (indicata sinteticamente con MT) che permette di dedurre da una implicazione («se A allora B») e dalla negazione della sua conseguenza («non [...] indica che dalle premesse (A ⇒ B e ￢B) si inferisce la conclusione (￢A) (→ inferenza, regoladi). La regola del modus tollens è sostanzialmente equivalente alla regola del modus ponens. Infatti l’implicazione A ⇒ B è logicamente equivalente alla sua ...
Leggi Tutto
inferenza logica
inferenza logica sinonimo di «argomentazione logica» utilizzato per designare il processo di deduzione di una formula A, detta conclusione, a partire da una o più formule, dette premesse. [...] esempio il linguaggio degli enunciati o il linguaggio dei predicati, la costruzione di una inferenza logica è formalizzata attraverso le regolediinferenza o regoledi deduzione, le quali stabiliscono come dedurre da una o più formule ben formate ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] la proprietà φ. Gli assiomi e le regolediinferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regolediinferenza logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ...
Leggi Tutto
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 [...] B)
Gli assiomi costituiscono tre tautologie (il primo assioma è la legge dell’«a fortiori»);
• come regoladiinferenza (o di deduzione) si sceglie il → modus ponens, che consente di dedurre, dalle due fbf A e A ⇒ B, la fbf B. In simboli:
La linea ...
Leggi Tutto
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] , A2, …, An tali che An = A e ogni formula Ai sia una delle formule di Γ, un assioma oppure derivi dalle formule precedenti per mezzo dell’applicazione di una regoladiinferenza. Nel calcolo dei predicati gli assiomi sono:
a) A ⇒ (B ⇒ A)
b) (A ⇒ (B ...
Leggi Tutto
deduzione, regoladi
deduzione, regoladi locuzione equivalente a regoladi → inferenza; indica una regola che permette il passaggio da una formula ben formata (ƒbƒ) a un’altra in una catena di deduzione. [...] rappresentazione formale è, quindi, una successione finita di formule ben formate collegate l’una all’altra tramite regole che sono appunto dette regoledi deduzione o regolediinferenza. Nella catena di deduzione le formule ben formate da cui si ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] dei quantificatori) in un insieme di clausole.
Il metodo di risoluzione è un metodo che permette di stabilire se una clausola è una conseguenza di un insieme di clausole.
Esso si basa sulla regoladiinferenzadi risoluzione che è definita nel modo ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...