Il ragionamento deduttivo è un tipo di ragionamento che inizia con una o più affermazioni (le premesse) e si conclude con una rivendicazione diversa (la conclusione) la cui verità è garantita dalla validità del processo di ragionamento. Il ragionamento induttivo, d'altra parte, inizia con una o più premesse e cerca di generalizzare da ciò che è vero in alcuni casi a ciò che è probabile che sia vero in generale.
Il ragionamento deduttivo sfrutta le regole della logica per arrivare a una conclusione. Se le premesse sono vere e le leggi applicate sono corrette, allora la conclusione è necessariamente vera. Questo è un esempio di ragionamento deduttivo: "Tutti gli uomini sono mortali, Socrate è un uomo, perciò Socrate è mortale". La conclusione ("Socrate è mortale") deriva dalle due premesse ("Tutti gli uomini sono mortali" e "Socrate è un uomo") applicando la legge dalla logica dei predicati chiamata Universal Instantiation.
Nel ragionamento induttivo, il ruolo delle premesse è di fornire un forte sostegno alla conclusione, ma la verità della conclusione non è garantita, perché questo tipo di ragionamento non usa le leggi universali (come le leggi della logica) per raggiungere la conclusione. Il seguente ragionamento è induttivo: "Ho visto molti cigni ed erano tutti bianchi, quindi tutti i cigni sono bianchi". In questo caso, il ragionamento è corretto perché la premessa supporta la conclusione, ma la conclusione è falsa, poiché ci sono cigni neri.
