Deduzione

Da TecnoLogica.

Definizioni

L’atto o il processo tramite il quale si perviene a una conclusione mediante ragionamento. In particolare:

  1. In filosofia e in matematica, il processo logico nel quale, date certe premesse e certe regole che ne garantiscono la correttezza, una conclusione consegue come logicamente necessaria: in questo senso sono forme di deduzione il sillogismo e la dimostrazione matematica; generalmente usato in contrapposizione a induzione, il termine è anche definito (impropriamente, per taluno) come il ragionamento che giunge a proposizioni particolari partendo da proposizioni generali.
  2. In logica matematica, l’operazione (detta anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una certa espressione da un dato assioma attraverso un numero finito di altre espressioni, tutte facenti parte dello stesso sistema[1].

Voci correlate

Note

  1. Voce deduzione del Vocabolario on-line Treccani.
La consultazione di TecnoLogica è preordinata alla lettura delle avvertenze

Ogni contributore è responsabile dei propri inserimenti.
Il progetto è opera di Luca Buoninconti © 2011-2024.

Strumenti personali