deduzione, catena di
deduzione, catena di rappresentazione formale di un ragionamento consistente in una sequenza di formule ben formate (ƒbƒ), ognuna delle quali è legata alla successiva da determinate [...] schema seguente:
In un calcolo logico si definisce formalmente una deduzione di una formula α da un insieme di formule Γ come una sequenza finita di formule α1, α2, …, αn tali che αn = α e ogni formula αi sia o una delle formule di Γ o un assioma ...
Leggi Tutto
predecessore
predecessore o precedente, di un numero naturale n non nullo indica il numero che viene immediatamente prima di n nell’usuale ordinamento di N: 0, 1, 2, 3… Per esempio il predecessore di [...] numeri con opportuni assiomi (per esempio, → Peano, assiomidi), che il predecessore di un numero è coppia di numeri m e n il primo dei due, e zero (indicata con il simbolo Z(n)), funzione costante che assume sempre il valore 0, e lo schema della ...
Leggi Tutto
schema
schèma s. m. [dal lat. schema, gr. σχῆμα -ματος «forma, aspetto, configurazione», da un tema di ἔχω «possedere, avere»] (pl. -i). – 1. Modello convenzionale, semplificato rispetto alla più complessa realtà di un problema, di un fenomeno,...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...