enunciato

enunciato Nella logica, secondo la definizione classica, proposizione di cui ha senso dire che è vera o che è falsa. In un linguag­gio formale, per e., s’intende una espressione chiusa, non contenente cioè variabili libere, che denoterà quindi uno dei due valori di verità, V (vero) o F (falso). In linguistica, ... logica Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità il valore ... 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 al loro significato ... ipotesi Supposizione di fatti (o situazioni, sviluppi di un’azione ecc.) ancora non realizzati ma che si prevedono come possibili o si ammettono come eventuali, oppure spiegazione, fondata su indizi e intuizioni, che in via di tentativo si dà di un fatto o di una serie di fatti, noti o comunque che si ritengono ...