soddisfacibile
soddisfacìbile [Der. di soddisfare, dal lat. satisfacere, comp. di satis "abbastanza" e facere "fare"] [ALG] [FAF] Formula s.: nella logica matematica, è tale una formula se esiste una [...] struttura in cui, mediante un'opportuna interpretazione delle variabili, la formula medesima risulti vera, com'è, per es., per la formula 2x=y se la s'interpreta nel campo dei numeri interi ponendo x=1 ...
Leggi Tutto
negazione
negazióne [Der. del lat. negatio -onis "atto ed effetto del negare", dal part. pass. negatus di negare] [ELT] Nella logica booleana, per un elemento A è l'elemento A-, detto anche complemento, [...] tale che A+A-=1, derivante dall'operazione omonima, indicata con la sigla NOT. ◆ [FAF] Di una proposizione, è la proposizione contraria, cioè la proposizione che è vera quando è falsa la prima ...
Leggi Tutto
condizionale
condizionale [agg. e s.m. Der. di condizione] [LSF] Che esprime condizioni o è soggetto a condizioni. ◆ [FAF] Nella logica, è il connettivo se...allora (simb. →), il cui signif. è dato dalla [...] tavola di verità (V = vero, F = falso), riportata a fianco. ◆ [FAF] C. contrafattuale: si ha quando dall'affermazione che tutti gli elementi di un insieme godono di una certa proprietà si deduce che un ...
Leggi Tutto
blocco 1
blòcco1 [Dal fr. bloc "tronco abbattuto, quantità di materia", poi "oggetto piuttosto consistente" e sim.] [ALG] [FAF] Nella logica matematica, successione chiusa in sé di quantificatori esistenziali [...] o universali. ◆ [ELT] [FTC] B. funzionale: simbolo grafico, di solito in forma di rettangolo con opportuni altri simboli oppure didascalie nell'interno, per rappresentare una sub-unità di un impianto la ...
Leggi Tutto
prefisso
prefisso [agg. e s.m. Der. dal part. pass. praefixus del lat. praefigere "prefiggere, mettere prima"] [ALG] [FAF] Nella logica matematica, la sequenza iniziale dei quantificatori di una formula [...] del calcolo dei predicati scritta in forma normale prenessa (→ prenesso). ◆ [ELT] Nella telefonia a commutazione automatica, gruppo di cifre che viene anteposto alle cifre corrispondenti a un utente per ...
Leggi Tutto
quantificatore
quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] almeno un"; per es., ∃x∀y(x+y=y) significa che esiste almeno un numero (x) che sommato a un qualunque altro numero (y) lo lascia inalterato (x+y=y) (si tratta dello zero). ◆ [FAF] Campo d'azione di un q. e indice di un q.: v. logica: III 484 d. ...
Leggi Tutto
non contraddizione
nón contraddizióne (o non contraddittorietà)[locuz. usata come s.f.] [FAF] Principio di n.: uno dei principi fondamentali della logica, detto anche, alternativamente, principio di [...] contraddizione, esemplificabile mediante la proposizione "A non è non-A" ...
Leggi Tutto
iota
iòta [Nome della 9a lettera dell'alfab. gr., corrispondente alla vocale latina i] [FAF] [ALG] Operatore i.: operatore descrittivo della logica matematica, che significa "l'unico"; per es., ι(x+5=7) [...] significa l'unico x che sommato a 5 dà 7, cioè il numero 2 ...
Leggi Tutto
trivalente
trivalènte [agg. Comp. di tri- e valente] [CHF] Di elemento chimico che ha valenza tre, cioè che presenta trivalenza. ◆ [ALG] [FAF] Logica t.: quella nella quale si ammette che una proposizione [...] possa essere o vera o falsa o indecidibile ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] , oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la parte della logica matematica che studia le espressioni (formule) che si possono costruire con p. (applicati a costanti e ...
Leggi Tutto
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...