soddisfacibile

Dizionario delle Scienze Fisiche (1996)

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 e y=2.

Vedi anche
lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... comprensione L’insieme degli elementi che costituiscono un’idea, l’accezione di un vocabolo. ● In particolare, nella logica formale, comprensione di un concetto è tutto il complesso delle sue determinazioni, o ‘note’; essa è perciò tanto maggiore, quanto più ricco e determinato è il contenuto del concetto, e cioè ... Thoralf Skolem Skolem ‹skóolëm›, Thoralf. - Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun insieme finito o numerabile di assiomi esprimibile nella logica elementare ... semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come sostituto di semasiologia. 1. Gli studi linguistici I primi studi di semantica di Bréal (Essai de sémantique, ...
Categorie
Vocabolario
soddisfacìbile
soddisfacibile soddisfacìbile agg. [der. di soddisfare]. – Che può essere soddisfatto; soprattutto nel sign. 3 del verbo soddisfare, che trova cioè accordo, rispondenza e sim. In logica matematica, una formula di una teoria si dice soddisfacibile...
soddisfaciménto
soddisfacimento soddisfaciménto (tosc. o letter. sodisfaciménto; ant. satisfaciménto) s. m. [der. di soddisfare]. – L’atto, il fatto di soddisfare: s. di un desiderio; letter., a s., in s., per dare soddisfazione, o in compenso di: quello...