Concetto di regola di deduzione



Le regole di deduzione (ragionamenti) sono quelle regole che permettono, partendo da certe premesse date (ipotesi) P, Q, R,... , di arrivare ad una determinata conclusione (tesi) T

Diremo che una regola di deduzione e' corretta se da premesse tutte vere segue che e' vera anche la conclusione
In pratica le regole di deduzione sono le regole per un corretto ragionamento e saranno usate per la dimostrazione di teoremi in cui da una ipotesi vera H dovremo dimostrare vera una tesi T
Vediamo nelle pagine seguenti alcune regole di deduzione:

Pagina iniziale Indice di logica Pagina successiva Pagina precedente