Utente:Giuli84/sandbox
Prova di deduzione naturale
prova
[modifica | modifica wikitesto]La deduzione naturale è nel campo della logica matematica un sistema deduttivo. Un sistema deduttivo è una relazione che può sussistere tra un insieme di formule e una formula: se la relazione vale diciamo che la formula viene dedotta dall’insieme. La deduzione naturale si propone quindi come un metodo per dimostrare che un’affermazione è conseguenza di certe ipotesi. A differenza dei sistemi assiomatici è un sistema senza assiomi e con una serie di regole di inferenza il cui numero dipende dai connettivi che definiamo come primitivi e si ottenga una proposizione.
Ich wollte zunächst einmal einen Formalismus aufstellen, der dem wirklichen Schließen möglichst nahe kommt. So ergab sich ein "Kalkül des natürlichen Schließens".[1]
(Per prima cosa ho voluto costruire un formalismo che si avvicini il più possibile al ragionamento reale. Così nacque il "calcolo della deduzione naturale".)
- Pelletier, Jeff, "A History of Natural Deduction and Elementary Logic Textbooks."
note
[modifica | modifica wikitesto]- ^ Gentzen, Untersuchungen über das logische Schließen (Mathematische Zeitschrift 39, pp.176–210, 1935)
bibliografia
[modifica | modifica wikitesto]- G.Gentzen. Untersuchungen über das logische Schliessen. Mathe-matische Zeitschrift , v.39, 1934-35.
- D.Prawitz. Natural Deduction. Almqvist & Wiksell, Stockolm, 1965.
- Van Dalen. Logic and Structure. Springer Verlag, Berlin, 1980.
voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]- Wikibooks contiene un commentario agli Elementi di Euclide